Newest at the top
| 2026-01-08 11:59:57 +0100 | fp | (~Thunderbi@130.233.70.102) fp |
| 2026-01-08 11:55:25 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-08 11:43:55 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2026-01-08 11:40:44 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) Tuplanolla |
| 2026-01-08 11:37:08 +0100 | tromp | (~textual@2001:1c00:3487:1b00:a460:d351:8685:d1f0) |
| 2026-01-08 11:33:07 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2026-01-08 11:28:11 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-08 11:25:27 +0100 | torn | (~torn@91-133-90-252.dyn.cablelink.at) (Quit: Client closed) |
| 2026-01-08 11:24:41 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2026-01-08 11:24:11 +0100 | Vq | (~vq@user/vq) Vq |
| 2026-01-08 11:22:54 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-01-08 11:22:49 +0100 | Vq | (~vq@user/vq) (Ping timeout: 264 seconds) |
| 2026-01-08 11:22:20 +0100 | bggd | (~bgg@user/bggd) (Remote host closed the connection) |
| 2026-01-08 11:20:31 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds) |
| 2026-01-08 11:19:05 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-01-08 11:10:55 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2026-01-08 11:10:01 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 265 seconds) |
| 2026-01-08 11:06:27 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-01-08 11:05:55 +0100 | danza | (~danza@user/danza) (Ping timeout: 240 seconds) |
| 2026-01-08 11:05:26 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-01-08 11:05:07 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 2026-01-08 11:03:51 +0100 | danz98640 | (~danza@user/danza) danza |
| 2026-01-08 10:57:04 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 246 seconds) |
| 2026-01-08 10:56:46 +0100 | jreicher | (~joelr@user/jreicher) (Quit: brb) |
| 2026-01-08 10:53:35 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2026-01-08 10:51:35 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2026-01-08 10:45:23 +0100 | <danza> | i see, makes sense |
| 2026-01-08 10:41:23 +0100 | kuribas | (~user@2a02-1810-2825-6000-e123-c17a-ed17-774f.ip6.access.telenet.be) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2026-01-08 10:41:20 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-01-08 10:40:59 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-01-08 10:40:37 +0100 | <dutchie> | danza: I'm using the newtype to hide details outside the module but this is an internal function |
| 2026-01-08 10:40:12 +0100 | danza | (~danza@user/danza) danza |
| 2026-01-08 10:40:11 +0100 | <dutchie> | it didn't mention the a0 or I probably would have figured it out :( |
| 2026-01-08 10:40:02 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-01-08 10:34:44 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Quit: xff0x) |
| 2026-01-08 10:33:26 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-01-08 10:32:58 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-08 10:32:30 +0100 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2026-01-08 10:31:42 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2026-01-08 10:30:55 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 240 seconds) |
| 2026-01-08 10:25:52 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-01-08 10:22:48 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2026-01-08 10:21:15 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2026-01-08 10:15:59 +0100 | <int-e> | dutchie: Btw there's an error message reading exercise here: it complains that it doesn't know that some `a0` and `Value` have the same representation. It's easy to guess where the `Value` comes from, but GHC should also tell you what it introduced `a0` for. |
| 2026-01-08 10:12:16 +0100 | <danza> | what is the point of having a newtype if then you use coerce |
| 2026-01-08 10:11:51 +0100 | tromp | (~textual@2001:1c00:3487:1b00:a460:d351:8685:d1f0) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-01-08 10:10:51 +0100 | <int-e> | and specifying the key type is less of a hassle than figuring out whether we have partial type signatures :P |
| 2026-01-08 10:10:45 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-01-08 10:10:12 +0100 | <int-e> | merijn: yeah but it's complaining about the Value type |
| 2026-01-08 10:10:03 +0100 | <dutchie> | ah explicit annotation on Map.empty does it |