Newest at the top
2024-05-01 19:29:52 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
2024-05-01 19:29:18 +0200 | <k``> | Is there any particular reason that `Data.Bits.shiftR` is undefined for shifts greater than `bitSize`, but `Data.Bits.shiftL` is not? |
2024-05-01 19:28:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-01 19:28:27 +0200 | k`` | (~k``@152.1.137.158) |
2024-05-01 19:26:24 +0200 | danza | (~francesco@151.57.139.226) (Remote host closed the connection) |
2024-05-01 19:25:35 +0200 | <gaff> | mauke: I am not clear why you are saying so. In any case, let us assume `m` is `StateT s Identity`. |
2024-05-01 19:22:55 +0200 | <mauke> | gaff: I think it would depend on how >>= and <*> are defined for m |
2024-05-01 19:20:51 +0200 | mima | (~mmh@aftr-62-216-211-127.dynamic.mnet-online.de) (Ping timeout: 255 seconds) |
2024-05-01 19:19:00 +0200 | danza | (~francesco@151.57.139.226) |
2024-05-01 19:16:22 +0200 | danza | (~francesco@151.57.139.226) (Ping timeout: 255 seconds) |
2024-05-01 19:09:42 +0200 | <gaff> | Appreciate any help. |
2024-05-01 19:07:59 +0200 | <hseg> | Using stack with allow-newer, how can I get stack to dump the build plan it computed? |
2024-05-01 19:07:32 +0200 | hseg | (~gesh@77.137.75.224) |
2024-05-01 19:05:38 +0200 | <gaff> | I have some code here https://goonlinetools.com/snapshot/code/#r7dkw4j84woahyak9mbns5 that has 2 ways to define Applicative instance for EitherT. I would like to know if there is any difference between the two definitions for <*>. |
2024-05-01 19:05:32 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-01 19:05:08 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-05-01 19:04:55 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-01 19:04:11 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2024-05-01 19:03:16 +0200 | gaff | (~gaff@49.207.212.165) |
2024-05-01 18:59:40 +0200 | danza | (~francesco@151.57.139.226) |
2024-05-01 18:56:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-01 18:55:21 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2024-05-01 18:50:34 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-01 18:50:06 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2024-05-01 18:49:04 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
2024-05-01 18:48:49 +0200 | mima | (~mmh@aftr-62-216-211-127.dynamic.mnet-online.de) |
2024-05-01 18:47:21 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
2024-05-01 18:44:16 +0200 | yin | (~yin@user/zero) |
2024-05-01 18:44:02 +0200 | yin | (~yin@user/zero) (Client Quit) |
2024-05-01 18:43:40 +0200 | <yin> | /reconnect |
2024-05-01 18:43:05 +0200 | yin | (~yin@user/zero) |
2024-05-01 18:37:07 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-01 18:36:29 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-05-01 18:29:36 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-01 18:29:07 +0200 | euleritian | (~euleritia@dynamic-176-001-013-250.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-01 18:28:47 +0200 | euleritian | (~euleritia@dynamic-176-001-013-250.176.1.pool.telefonica.de) |
2024-05-01 18:28:37 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-05-01 18:26:38 +0200 | fireking04 | (~karl@112.206.68.79) (Remote host closed the connection) |
2024-05-01 18:25:11 +0200 | arkeet | (~arkeet@moriya.ca) |
2024-05-01 18:24:55 +0200 | arkeet | (~arkeet@moriya.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-05-01 18:21:41 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 240 seconds) |
2024-05-01 18:21:38 +0200 | fireking04 | (~karl@112.206.68.79) |
2024-05-01 18:21:32 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-01 18:21:14 +0200 | euleritian | (~euleritia@dynamic-176-001-013-250.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-01 18:20:53 +0200 | euleritian | (~euleritia@dynamic-176-001-013-250.176.1.pool.telefonica.de) |
2024-05-01 18:20:47 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-05-01 18:20:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-01 18:20:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: Textual IRC Client: www.textualapp.com) |
2024-05-01 18:17:45 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
2024-05-01 18:15:48 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) |