Logs: liberachat/#haskell
| 2021-06-09 08:36:48 | → | marinelli[m] joins (~marinelli@2001:470:69fc:105::2d8) |
| 2021-06-09 08:36:48 | → | Drezil joins (~drezilkif@2001:470:69fc:105::7f8) |
| 2021-06-09 08:36:49 | → | bryan[m] joins (~bchreekat@2001:470:69fc:105::16b5) |
| 2021-06-09 08:36:49 | → | Soft joins (~soft-matr@2001:470:69fc:105::c75) |
| 2021-06-09 08:36:49 | → | eddiemundo joins (~eddiemund@2001:470:69fc:105::a9c) |
| 2021-06-09 08:36:49 | → | autrim64[m] joins (~autrim64m@2001:470:69fc:105::16a1) |
| 2021-06-09 08:36:50 | → | cdsmith joins (~cdsmithma@2001:470:69fc:105::284) |
| 2021-06-09 08:36:50 | → | jaror[m] joins (~jaror@2001:470:69fc:105::265) |
| 2021-06-09 08:36:50 | → | ru0mad[m] joins (~ru0madmat@2001:470:69fc:105::9b2) |
| 2021-06-09 08:36:51 | → | oak- joins (~oakuniver@2001:470:69fc:105::fcd) |
| 2021-06-09 08:37:33 | × | Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-09 08:38:56 | × | mastarija quits (~mastarija@31.217.11.88) (Ping timeout: 250 seconds) |
| 2021-06-09 08:39:19 | × | ubert quits (~Thunderbi@p200300ecdf259da7d446db1a2ac53d1c.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-06-09 08:41:49 | → | yd502 joins (~yd502@180.168.212.6) |
| 2021-06-09 08:41:59 | → | Bartosz joins (~textual@24.35.90.211) |
| 2021-06-09 08:42:24 | <yushyin> | thyriaen: https://www.cis.upenn.edu/~cis194/spring13/lectures.html https://github.com/system-f/fp-course ( https://wiki.haskell.org/Tutorials ) |
| 2021-06-09 08:42:25 | → | siraben joins (~siraben@user/siraben) |
| 2021-06-09 08:43:05 | <dminuoso> | @where learning |
| 2021-06-09 08:43:05 | <lambdabot> | I know nothing about learning. |
| 2021-06-09 08:43:07 | <dminuoso> | @where learn |
| 2021-06-09 08:43:07 | <lambdabot> | https://wiki.haskell.org/Learning_Haskell |
| 2021-06-09 08:43:18 | <thyriaen> | thanks |
| 2021-06-09 08:43:32 | × | ikex quits (~ash@user/ikex) (Ping timeout: 264 seconds) |
| 2021-06-09 08:47:14 | → | yoctocell joins (~user@h87-96-130-155.cust.a3fiber.se) |
| 2021-06-09 08:48:10 | → | yd502_ joins (~yd502@180.168.212.6) |
| 2021-06-09 08:48:18 | → | benin033 joins (~benin@183.82.206.233) |
| 2021-06-09 08:48:33 | × | benin03 quits (~benin@183.82.206.233) (Ping timeout: 252 seconds) |
| 2021-06-09 08:48:33 | benin033 | is now known as benin03 |
| 2021-06-09 08:48:38 | × | yoctocell quits (~user@h87-96-130-155.cust.a3fiber.se) (Client Quit) |
| 2021-06-09 08:48:58 | <dmwit> | dexterfoo: What's wrong with `:r\n:!clear\nmain\n`? |
| 2021-06-09 08:49:24 | × | nsilv quits (~nsilv@212.103.198.210) (Ping timeout: 244 seconds) |
| 2021-06-09 08:49:49 | <dmwit> | (NB I'm not claiming that meets your needs. I just don't know what your needs are and this is my best idea about how to find them out.) |
| 2021-06-09 08:50:15 | → | yd502__ joins (~yd502@58.32.9.235) |
| 2021-06-09 08:51:28 | × | yd502 quits (~yd502@180.168.212.6) (Ping timeout: 244 seconds) |
| 2021-06-09 08:53:28 | × | yd502_ quits (~yd502@180.168.212.6) (Ping timeout: 272 seconds) |
| 2021-06-09 08:53:39 | → | yoctocell joins (~yoctocell@h87-96-130-155.cust.a3fiber.se) |
| 2021-06-09 08:54:18 | → | wonko joins (~wjc@62.115.229.50) |
| 2021-06-09 08:56:41 | → | nsilv joins (~nsilv@212.103.198.210) |
| 2021-06-09 08:56:42 | → | dhil joins (~dhil@195.213.192.47) |
| 2021-06-09 09:00:35 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-09 09:00:38 | × | thyriaen quits (~thyriaen@45.178.73.238) (Quit: Leaving) |
| 2021-06-09 09:01:04 | × | yoctocell quits (~yoctocell@h87-96-130-155.cust.a3fiber.se) (Remote host closed the connection) |
| 2021-06-09 09:02:00 | → | yoctocell joins (~yoctocell@h87-96-130-155.cust.a3fiber.se) |
| 2021-06-09 09:03:09 | × | yd502__ quits (~yd502@58.32.9.235) (Ping timeout: 244 seconds) |
| 2021-06-09 09:04:17 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 272 seconds) |
| 2021-06-09 09:04:35 | → | yd502__ joins (~yd502@58.32.9.235) |
| 2021-06-09 09:05:03 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-06-09 09:10:34 | → | kris joins (~quassel@82-69-3-58.dsl.in-addr.zen.co.uk) |
| 2021-06-09 09:10:58 | × | kris quits (~quassel@82-69-3-58.dsl.in-addr.zen.co.uk) (Client Quit) |
| 2021-06-09 09:11:01 | → | ubert joins (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) |
| 2021-06-09 09:11:37 | × | neceve quits (~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130) (Ping timeout: 244 seconds) |
| 2021-06-09 09:11:59 | × | yoctocell quits (~yoctocell@h87-96-130-155.cust.a3fiber.se) (Remote host closed the connection) |
| 2021-06-09 09:12:22 | → | zelmac joins (~quassel@82-69-3-58.dsl.in-addr.zen.co.uk) |
| 2021-06-09 09:14:01 | → | ddellacosta joins (~ddellacos@89.46.62.112) |
| 2021-06-09 09:14:30 | <tomsmeding> | dexterfoo: in case it doesn't, what about `:def R \_ -> Prelude.return (":r\n:!clear\nmain\n")`? Then :R runs that |
| 2021-06-09 09:15:20 | <jophish> | The topic here needs updating, the matrix bridge is up and running |
| 2021-06-09 09:15:29 | <jophish> | ignore that if you can't see my messages |
| 2021-06-09 09:15:46 | × | jrm quits (~jrm@156.34.187.65) (Read error: Connection reset by peer) |
| 2021-06-09 09:15:49 | <tomsmeding> | jophish: I can :) |
| 2021-06-09 09:15:59 | × | nsilv quits (~nsilv@212.103.198.210) (Remote host closed the connection) |
| 2021-06-09 09:16:02 | <tomsmeding> | but isn't it in some kind of beta state? |
| 2021-06-09 09:16:18 | → | jrm joins (~jrm@156.34.187.65) |
| 2021-06-09 09:17:55 | <jophish> | oh, perhaps |
| 2021-06-09 09:18:56 | × | ddellacosta quits (~ddellacos@89.46.62.112) (Ping timeout: 264 seconds) |
| 2021-06-09 09:21:55 | → | mastarija__ joins (~mastarija@46.188.129.109) |
| 2021-06-09 09:22:42 | × | yd502__ quits (~yd502@58.32.9.235) (Ping timeout: 250 seconds) |
| 2021-06-09 09:22:59 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds) |
| 2021-06-09 09:23:15 | → | koishi_ joins (~koishi_@160.16.113.140) |
| 2021-06-09 09:23:32 | → | nsilv joins (~nsilv@212.103.198.210) |
| 2021-06-09 09:23:51 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-09 09:24:46 | → | pagnol joins (~user@014198154145.ctinets.com) |
| 2021-06-09 09:25:05 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-09 09:25:32 | × | mastarija_ quits (~mastarija@31.217.8.68) (Ping timeout: 264 seconds) |
| 2021-06-09 09:25:33 | → | xprlgjf joins (~gavin@60.27.93.209.dyn.plus.net) |
| 2021-06-09 09:26:11 | → | yoctocell joins (~yoctocell@h87-96-130-155.cust.a3fiber.se) |
| 2021-06-09 09:27:39 | × | nsilv quits (~nsilv@212.103.198.210) (Client Quit) |
| 2021-06-09 09:28:06 | × | Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-09 09:28:43 | <gentauro> | If I try to subscract 1 from each value in a list: `map ((-) 1) [1 .. 10]` why is this not equal `[0 .. 9]`? |
| 2021-06-09 09:28:58 | <gentauro> | oh |
| 2021-06-09 09:29:09 | <wallymathieu[m]> | Hi gentauro |
| 2021-06-09 09:29:11 | <gentauro> | `(-) 1 x` got it |
| 2021-06-09 09:29:30 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-06-09 09:29:51 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-09 09:30:03 | <gentauro> | wallymathieu[m]: hi |
| 2021-06-09 09:30:15 | <involans> | @gentauro: you might want to user `subtract` here |
| 2021-06-09 09:30:15 | <lambdabot> | Unknown command, try @list |
| 2021-06-09 09:30:37 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-06-09 09:30:39 | <involans> | `map (subtract 1) [1 .. 10]` |
| 2021-06-09 09:31:24 | <dexterfoo> | dmwit: this doesn't seem to work :| tomsmeding: thanks this works! |
| 2021-06-09 09:31:44 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-06-09 09:31:54 | <gentauro> | involans: do you know why `(flip (-) 1)` doesn't work? |
| 2021-06-09 09:32:12 | <gentauro> | oh, it does :) |
| 2021-06-09 09:32:50 | <involans> | Yes - was about to say :) `subtract === flip (-)` |
| 2021-06-09 09:33:01 | × | bramhaag quits (~bramhaag@endeavour.servers.alpaca.engineer) (Ping timeout: 265 seconds) |
| 2021-06-09 09:34:23 | → | chddr joins (~Thunderbi@31.148.23.125) |
| 2021-06-09 09:34:38 | → | yd502 joins (~yd502@180.168.212.6) |
| 2021-06-09 09:35:18 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-06-09 09:35:42 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-09 09:36:03 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-09 09:37:23 | <yushyin> | or (- 1) with -XLexicalNegation :) |
All times are in UTC.