Newest at the top
| 2026-01-26 14:39:16 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 252 seconds) |
| 2026-01-26 14:37:33 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2026-01-26 14:33:51 +0100 | trickard_ | trickard |
| 2026-01-26 14:33:13 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-01-26 14:28:07 +0100 | <haskellbridge> | <Man of Letters (Mikolaj)> (the workaround would possibly be to add an equation "a_b ~ (Fst a_b, Snd a_b)" to the type signature of "lengthT2") |
| 2026-01-26 14:26:36 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2026-01-26 14:26:19 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2026-01-26 14:25:39 +0100 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/ptBfheGxAndftWFfLmlImUig/HEYosfzlhmE (23 lines) |
| 2026-01-26 14:25:38 +0100 | <haskellbridge> | <Man of Letters (Mikolaj)> is there a way around this? |
| 2026-01-26 14:22:47 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-01-26 14:22:23 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-26 14:13:38 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2026-01-26 14:09:09 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2026-01-26 14:08:55 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-26 13:56:54 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2026-01-26 13:56:36 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-26 13:47:42 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2026-01-26 13:46:27 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2026-01-26 13:45:59 +0100 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2026-01-26 13:34:43 +0100 | Square | (~Square4@user/square) Square |
| 2026-01-26 13:34:13 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2026-01-26 13:29:22 +0100 | Square | (~Square4@user/square) (Remote host closed the connection) |
| 2026-01-26 13:03:01 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2026-01-26 13:01:02 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2026-01-26 12:58:32 +0100 | <opqdonut> | oh sorry, not foldable, can't unIO |
| 2026-01-26 12:58:20 +0100 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2026-01-26 12:58:00 +0100 | <opqdonut> | isn't the foldable/traversable instance for IO trivial? It contains a single value. |
| 2026-01-26 12:54:45 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-01-26 12:36:17 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Read error: Connection reset by peer) |
| 2026-01-26 12:32:29 +0100 | <haskellbridge> | <Liamzee> for _IOCheck $ \something -> ... |
| 2026-01-26 12:32:05 +0100 | <haskellbridge> | <Liamzee> for a brief moment i regretted that IO wasn't traversable, but then again, how could you get IO to be foldable? |
| 2026-01-26 12:29:45 +0100 | <haskellbridge> | <Liamzee> everything is a type? also, Common Lisp people would have a bone to pick with you |
| 2026-01-26 12:24:19 +0100 | trickard_ | trickard |
| 2026-01-26 12:23:48 +0100 | xff0x | (~xff0x@2405:6580:b080:900:5e15:fad5:8284:4db7) |
| 2026-01-26 12:23:17 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-01-26 12:23:16 +0100 | jonnie | (~jonnie@user/jonnie) jonnie |
| 2026-01-26 12:22:49 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-01-26 12:21:08 +0100 | jonnie | (~jonnie@user/jonnie) (Remote host closed the connection) |
| 2026-01-26 12:12:53 +0100 | chele | (~chele@user/chele) chele |
| 2026-01-26 12:11:25 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2026-01-26 12:05:18 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2026-01-26 12:03:44 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2026-01-26 11:55:51 +0100 | Square | (~Square4@user/square) Square |
| 2026-01-26 11:54:44 +0100 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2026-01-26 11:52:00 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-01-26 11:49:49 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2026-01-26 11:48:42 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-01-26 11:47:11 +0100 | oskarw | (~user@user/oskarw) (Remote host closed the connection) |
| 2026-01-26 11:46:56 +0100 | rainbyte_ | (~rainbyte@186.22.19.214) (Ping timeout: 240 seconds) |
| 2026-01-26 11:45:30 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |