Logs: liberachat/#haskell
| 2021-05-23 09:19:47 | → | int-e joins (~noone@int-e.eu) |
| 2021-05-23 09:19:47 | → | tlax joins (tlax@kapsi.fi) |
| 2021-05-23 09:19:47 | → | tapas joins (sid467876@charlton.irccloud.com) |
| 2021-05-23 09:19:47 | → | bollu joins (~bollu@139.59.46.74) |
| 2021-05-23 09:19:47 | → | [exa] joins (exa@user/exa/x-3587197) |
| 2021-05-23 09:19:47 | → | SquidDev joins (~SquidDev@autoclave.squiddev.cc) |
| 2021-05-23 09:19:47 | → | cjay joins (cjay@nerdbox.nerd2nerd.org) |
| 2021-05-23 09:19:47 | → | Hecate joins (~mariposa@user/hecate) |
| 2021-05-23 09:19:47 | → | Taneb joins (~Taneb@runciman.hacksoc.org) |
| 2021-05-23 09:19:47 | → | ridcully joins (~ridcully@pd951f269.dip0.t-ipconnect.de) |
| 2021-05-23 09:19:47 | → | tomsmeding joins (~tomsmedin@tomsmeding.com) |
| 2021-05-23 09:19:47 | → | mniip joins (mniip@libera/staff/mniip) |
| 2021-05-23 09:20:49 | × | gawen quits (~gawen@movzbl.root.sx) (Quit: cya) |
| 2021-05-23 09:21:35 | → | gawen joins (~gawen@movzbl.root.sx) |
| 2021-05-23 09:22:24 | ← | jalonso parts (~user@90.71.135.168) (ERC (IRC client for Emacs 26.3)) |
| 2021-05-23 09:24:15 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2021-05-23 09:24:55 | × | gawen quits (~gawen@movzbl.root.sx) (Client Quit) |
| 2021-05-23 09:25:40 | → | gawen joins (~gawen@movzbl.root.sx) |
| 2021-05-23 09:31:06 | → | wallymathieu joins (~wallymath@host-217-213-68-198.mobileonline.telia.com) |
| 2021-05-23 09:35:53 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-23 09:35:56 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-05-23 09:38:15 | → | kspalaiologos joins (~kspalaiol@user/kspalaiologos) |
| 2021-05-23 09:46:37 | → | hmmmas joins (~chenqisu1@183.217.200.8) |
| 2021-05-23 09:47:25 | × | xff0x quits (~xff0x@2001:1a81:52b2:9700:762c:2533:bcf3:80b7) (Quit: xff0x) |
| 2021-05-23 09:47:43 | × | whosit quits (~whosit@109.252.95.147) (Read error: Connection reset by peer) |
| 2021-05-23 09:50:12 | → | echoreply joins (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) |
| 2021-05-23 09:52:03 | × | wallymathieu quits (~wallymath@host-217-213-68-198.mobileonline.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-23 09:58:21 | → | a6a45081-2b83 joins (~aditya@122.163.181.9) |
| 2021-05-23 09:58:55 | <a6a45081-2b83> | @pl "\x -> h (f x) (g x)" |
| 2021-05-23 09:58:55 | <lambdabot> | (line 1, column 4): |
| 2021-05-23 09:58:55 | <lambdabot> | unexpected " " |
| 2021-05-23 09:58:55 | <lambdabot> | expecting expression |
| 2021-05-23 09:59:01 | <a6a45081-2b83> | @pl \x -> h (f x) (g x) |
| 2021-05-23 09:59:01 | <lambdabot> | liftM2 h f g |
| 2021-05-23 09:59:16 | <a6a45081-2b83> | @t h <$> f <*> g |
| 2021-05-23 09:59:16 | <lambdabot> | Maybe you meant: tell thank you thanks thesaurus thx tic-tac-toe ticker time todo todo-add todo-delete type v @ ? . |
| 2021-05-23 09:59:16 | × | radw quits (~radw@user/radw) (Quit: WeeChat 2.8) |
| 2021-05-23 09:59:33 | <a6a45081-2b83> | @t "\f g h -> h <$> f <*> g" |
| 2021-05-23 09:59:34 | <lambdabot> | Maybe you meant: tell thank you thanks thesaurus thx tic-tac-toe ticker time todo todo-add todo-delete type v @ ? . |
| 2021-05-23 09:59:35 | → | radw joins (~radw@user/radw) |
| 2021-05-23 10:00:51 | <tomsmeding> | :t \f g h -> h <$> f <*> g |
| 2021-05-23 10:00:52 | <lambdabot> | Applicative f => f a1 -> f a2 -> (a1 -> a2 -> b) -> f b |
| 2021-05-23 10:02:07 | <a6a45081-2b83> | :t \f g h x -> (h <$> f <*> g) x |
| 2021-05-23 10:02:08 | <lambdabot> | (t1 -> a1) -> (t1 -> a2) -> (a1 -> a2 -> t2) -> t1 -> t2 |
| 2021-05-23 10:02:11 | × | o quits (~if@libera/staff/niko) (Quit: i will be back) |
| 2021-05-23 10:02:11 | <a6a45081-2b83> | cool |
| 2021-05-23 10:02:42 | → | niko joins (~if@libera/staff/niko) |
| 2021-05-23 10:09:50 | × | ziman quits (~ziman@c25-5.condornet.sk) (Changing host) |
| 2021-05-23 10:09:50 | → | ziman joins (~ziman@user/ziman) |
| 2021-05-23 10:10:04 | <maerwald> | things you add to extra-prog-path in cabal.config are not exposed in PATH when you run `cabal exec`? |
| 2021-05-23 10:10:51 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-05-23 10:12:23 | × | echoreply quits (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 1.9.1) |
| 2021-05-23 10:13:28 | → | echoreply joins (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) |
| 2021-05-23 10:16:58 | × | echoreply quits (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Client Quit) |
| 2021-05-23 10:17:04 | → | dudek joins (~dudek@185.150.236.112) |
| 2021-05-23 10:17:14 | → | echoreply joins (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) |
| 2021-05-23 10:17:39 | × | echoreply quits (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Client Quit) |
| 2021-05-23 10:18:38 | → | WikiLycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-05-23 10:18:57 | <a6a45081-2b83> | why isn't "if'" included in Prelude? |
| 2021-05-23 10:19:57 | → | supersven joins (uid501114@id-501114.charlton.irccloud.com) |
| 2021-05-23 10:20:01 | WikiLycurgus | guesses non standard idiom |
| 2021-05-23 10:20:55 | → | echoreply joins (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) |
| 2021-05-23 10:21:09 | <maerwald> | bzlib and clock fail to build on windows with a hsc2hs error: https://dpaste.com/3KEYA6EAV |
| 2021-05-23 10:23:50 | × | echoreply quits (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Client Quit) |
| 2021-05-23 10:24:15 | <Hecate> | I've almost conquered Generics! |
| 2021-05-23 10:24:22 | <Hecate> | for minimal fun and 0 profit! |
| 2021-05-23 10:24:25 | → | echoreply joins (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) |
| 2021-05-23 10:25:44 | × | echoreply quits (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Client Quit) |
| 2021-05-23 10:26:27 | → | Brumaire joins (~quassel@81-64-14-121.rev.numericable.fr) |
| 2021-05-23 10:28:28 | → | space-shell joins (5862faba@107.161.19.109) |
| 2021-05-23 10:29:26 | → | echoreply joins (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) |
| 2021-05-23 10:29:41 | → | waleee-cl joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-05-23 10:29:41 | × | echoreply quits (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Client Quit) |
| 2021-05-23 10:30:01 | → | echoreply joins (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) |
| 2021-05-23 10:32:12 | × | pretty_dumm_guy quits (~trottel@92.223.89.149) (Quit: WeeChat 3.2-dev) |
| 2021-05-23 10:33:50 | → | xwx joins (~george@user/george) |
| 2021-05-23 10:34:27 | → | nan` joins (~nan`@68.235.43.173) |
| 2021-05-23 10:35:36 | × | juhp quits (~juhp@128.106.188.199) (Quit: juhp) |
| 2021-05-23 10:35:50 | → | juhp joins (~juhp@128.106.188.199) |
| 2021-05-23 10:37:20 | → | edun joins (~edun@user/edun) |
| 2021-05-23 10:38:16 | × | edun quits (~edun@user/edun) (Client Quit) |
| 2021-05-23 10:39:26 | → | Franciman joins (~francesco@host-80-180-196-134.retail.telecomitalia.it) |
| 2021-05-23 10:41:57 | × | radw quits (~radw@user/radw) (Quit: WeeChat 2.8) |
| 2021-05-23 10:42:21 | → | Gurkenglas__ joins (~Gurkengla@dslb-088-075-022-175.088.075.pools.vodafone-ip.de) |
| 2021-05-23 10:42:58 | → | radw joins (~radw@user/radw) |
| 2021-05-23 10:43:22 | × | xwx quits (~george@user/george) (Ping timeout: 264 seconds) |
| 2021-05-23 10:44:10 | → | xwx joins (~george@user/george) |
| 2021-05-23 10:46:29 | <river> | :t bool |
| 2021-05-23 10:46:30 | <lambdabot> | a -> a -> Bool -> a |
| 2021-05-23 10:46:35 | <river> | a6a45081-2b83, there you go |
| 2021-05-23 10:46:46 | × | space-shell quits (5862faba@107.161.19.109) (Quit: Connection closed) |
| 2021-05-23 10:49:01 | <a6a45081-2b83> | > bool 3 2 (3>2) |
| 2021-05-23 10:49:03 | <lambdabot> | 2 |
| 2021-05-23 10:49:17 | <a6a45081-2b83> | hmm |
| 2021-05-23 10:53:32 | × | xwx quits (~george@user/george) (Ping timeout: 244 seconds) |
| 2021-05-23 10:55:56 | × | juhp quits (~juhp@128.106.188.199) (Quit: juhp) |
| 2021-05-23 10:56:10 | → | juhp joins (~juhp@128.106.188.199) |
| 2021-05-23 10:56:10 | <enikar> | You can see bool as: bool ifFalse ifTrue aBool |
| 2021-05-23 10:56:36 | × | WikiLycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-05-23 10:59:55 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
All times are in UTC.