Newest at the top
| 2024-10-10 14:16:21 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 252 seconds) |
| 2024-10-10 14:13:04 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-10-10 14:01:11 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-10 14:00:06 +0200 | cfricke | (~cfricke@user/cfricke) cfricke |
| 2024-10-10 13:57:31 +0200 | Paavo80 | (~Paavo80@dsl-hkibng12-50dd11-169.dhcp.telia.fi) (Client Quit) |
| 2024-10-10 13:55:19 +0200 | Paavo80 | (~Paavo80@dsl-hkibng12-50dd11-169.dhcp.telia.fi) |
| 2024-10-10 13:54:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-10 13:51:24 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb8558a5acefa98b724b.dip0.t-ipconnect.de) acidjnk |
| 2024-10-10 13:43:52 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-10-10 13:42:43 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb8558a5acefa98b724b.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-10-10 13:40:20 +0200 | rosco | (~rosco@175.136.22.30) rosco |
| 2024-10-10 13:38:21 +0200 | tom_ | (~tom@madonna.che.casino) (Client Quit) |
| 2024-10-10 13:35:53 +0200 | tom_ | (~tom@madonna.che.casino) |
| 2024-10-10 13:34:15 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3106-e93d-fc68-585c-8ed3-0b0d.rev.sfr.net) alexherbo2 |
| 2024-10-10 13:33:53 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3106-e93d-fc68-585c-8ed3-0b0d.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-10 13:32:56 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-10 13:32:39 +0200 | euleritian | (~euleritia@dynamic-176-006-142-086.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-10 13:32:18 +0200 | euleritian | (~euleritia@dynamic-176-006-142-086.176.6.pool.telefonica.de) |
| 2024-10-10 13:32:10 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-10 13:31:56 +0200 | Nixkernal | (~Nixkernal@226.85.194.178.dynamic.cust.swisscom.net) Nixkernal |
| 2024-10-10 13:27:57 +0200 | <haskellbridge> | <thirdofmay18081814goya> apparently it's from Datatypes a la carte but I can't find it there |
| 2024-10-10 13:27:39 +0200 | <haskellbridge> | <thirdofmay18081814goya> section 2.2 |
| 2024-10-10 13:27:29 +0200 | <haskellbridge> | <thirdofmay18081814goya> part on "row insertions" |
| 2024-10-10 13:27:23 +0200 | <haskellbridge> | <thirdofmay18081814goya> http://casperbp.net/store/hefty-algebras.pdf |
| 2024-10-10 13:26:14 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2024-10-10 13:25:58 +0200 | <Rembane> | Which paper are you trying to interpret? |
| 2024-10-10 13:24:53 +0200 | <haskellbridge> | <thirdofmay18081814goya> am trying to interpret a paper |
| 2024-10-10 13:24:49 +0200 | <haskellbridge> | <thirdofmay18081814goya> does row insertion ring a bell to anyone wrt algebraic effects? |
| 2024-10-10 13:23:06 +0200 | synchromesh | (~john@2406:5a00:2497:300:bda7:a9ff:46c1:4470) (Ping timeout: 276 seconds) |
| 2024-10-10 13:22:06 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-10 13:21:44 +0200 | euleritian | (~euleritia@dynamic-176-006-142-086.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-10 13:20:09 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-10 13:19:27 +0200 | xff0x | (~xff0x@2405:6580:b080:900:3e:c6b:65b9:2866) |
| 2024-10-10 13:17:41 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 252 seconds) |
| 2024-10-10 13:15:56 +0200 | tom_ | (~tom@compara.offerte.fibra.casa) (Quit: I was getting bored) |
| 2024-10-10 13:11:47 +0200 | euleritian | (~euleritia@dynamic-176-006-142-086.176.6.pool.telefonica.de) |
| 2024-10-10 13:11:39 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-10-10 13:06:36 +0200 | tom_ | (~tom@compara.offerte.fibra.casa) |
| 2024-10-10 13:06:19 +0200 | tom_ | (~tom@compara.offerte.fibra.casa) (Client Quit) |
| 2024-10-10 13:05:08 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-10 13:04:36 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 272 seconds) |
| 2024-10-10 13:04:21 +0200 | tom_ | (~tom@compara.offerte.fibra.casa) |
| 2024-10-10 13:03:02 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-10 13:01:53 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:472f:e50a:4274:4d00) |
| 2024-10-10 13:00:32 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-10-10 13:00:04 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-10 12:48:17 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-10 12:45:39 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-10-10 12:39:23 +0200 | mari-estel | (~mari-este@user/danza) (Quit: disgusting) |
| 2024-10-10 12:33:57 +0200 | td_ | (~td@i53870924.versanet.de) td_ |