Newest at the top
| 2025-11-11 11:47:14 +0100 | <merijn> | kuribas: I don't think TH really counts as type level? |
| 2025-11-11 11:46:44 +0100 | <kuribas> | Haskell typelevel is this weird combination of untyped prolog, intricacies of type classes, and ad hoc extensions (generics, TH). |
| 2025-11-11 11:34:00 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-11 11:33:48 +0100 | jreicher | (~user@user/jreicher) (Quit: In transit) |
| 2025-11-11 11:32:10 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-11-11 11:28:49 +0100 | Jackneill | (~Jackneill@188-143-82-32.pool.digikabel.hu) Jackneill |
| 2025-11-11 11:25:10 +0100 | starving_drummer | (~berke@user/Starving-Drummer:76786) Starving_Drummer |
| 2025-11-11 11:20:07 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-11 11:19:54 +0100 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-11 11:18:34 +0100 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
| 2025-11-11 11:18:26 +0100 | tromp | (~textual@2001:1c00:3487:1b00:bd50:5f58:be67:a48d) |
| 2025-11-11 11:17:59 +0100 | kuribas | (~user@2a02-1810-2825-6000-c59e-d8f1-aea0-564e.ip6.access.telenet.be) kuribas |
| 2025-11-11 11:17:44 +0100 | kuribas | (~user@2a02-1810-2825-6000-c59e-d8f1-aea0-564e.ip6.access.telenet.be) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2025-11-11 11:15:50 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-11 11:09:35 +0100 | tromp | (~textual@2001:1c00:3487:1b00:bd50:5f58:be67:a48d) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-11 11:05:22 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-11 11:04:33 +0100 | trickard_ | trickard |
| 2025-11-11 11:04:23 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds) |
| 2025-11-11 11:03:04 +0100 | jreicher | (~user@user/jreicher) (Read error: Connection reset by peer) |
| 2025-11-11 11:02:55 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-11 11:01:18 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-11 11:01:00 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 256 seconds) |
| 2025-11-11 10:57:06 +0100 | jreicher | (~user@user/jreicher) (Read error: Connection reset by peer) |
| 2025-11-11 10:54:21 +0100 | artix_live_1 | (~loouom@109.166.130.42) |
| 2025-11-11 10:51:15 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-11 10:50:14 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-11-11 10:44:31 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-11 10:43:33 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-11 10:43:19 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-11 10:41:55 +0100 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 2025-11-11 10:35:30 +0100 | Square3 | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2025-11-11 10:32:55 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-11 10:32:18 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-11 10:32:12 +0100 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2025-11-11 10:28:25 +0100 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-11-11 10:25:50 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-11-11 10:23:56 +0100 | trickard_ | trickard |
| 2025-11-11 10:21:34 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-11 10:21:21 +0100 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-11 10:20:44 +0100 | Square3 | (~Square@user/square) Square |
| 2025-11-11 10:20:37 +0100 | deptype | (~deptype@2406:b400:3a:73c2:20ec:9ba6:a31e:71d2) |
| 2025-11-11 10:20:17 +0100 | deptype | (~deptype@2406:b400:3a:73c2:5ccb:d911:3632:6880) (Remote host closed the connection) |
| 2025-11-11 10:17:17 +0100 | sprout | (~sprout@84-80-106-227.fixed.kpn.net) sprout |
| 2025-11-11 10:17:13 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-11 10:17:01 +0100 | bcksl | (~bcksl@user/bcksl) bcksl |
| 2025-11-11 10:16:47 +0100 | sprout | (~sprout@84-80-106-227.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2025-11-11 10:16:26 +0100 | takuan | (~takuan@d8d86b9e9.access.telenet.be) |
| 2025-11-11 10:16:13 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 256 seconds) |
| 2025-11-11 10:16:13 +0100 | jreicher | (~user@user/jreicher) (Ping timeout: 256 seconds) |
| 2025-11-11 10:16:11 +0100 | haetsal | (~quassel@221.138.168.192) |