Newest at the top
| 2026-02-19 10:28:08 +0100 | <chromoblob> | when extension... |
| 2026-02-19 10:27:46 +0100 | <chromoblob> | it occured to me now that we should allow function definitions with no equations, which when called simply return "non-exhaustive patterns" error |
| 2026-02-19 10:27:29 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 272 seconds) |
| 2026-02-19 10:25:17 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-02-19 10:22:23 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-02-19 10:22:23 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:d8cf:2bc2:edef:88ad) (Changing host) |
| 2026-02-19 10:22:23 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:d8cf:2bc2:edef:88ad) |
| 2026-02-19 10:21:17 +0100 | jayanth | (~jayanth@pool-108-16-35-209.phlapa.fios.verizon.net) |
| 2026-02-19 10:15:15 +0100 | sshine | (~simon@dao.mechanicus.xyz) sshine |
| 2026-02-19 10:14:59 +0100 | sshine_ | (~simon@dao.mechanicus.xyz) (Server closed connection) |
| 2026-02-19 10:10:30 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2026-02-19 10:08:39 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-02-19 10:06:30 +0100 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) mrmonday |
| 2026-02-19 10:06:19 +0100 | ladyfriday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Server closed connection) |
| 2026-02-19 10:03:07 +0100 | p3n | (~p3n@217.198.124.246) p3n |
| 2026-02-19 10:02:07 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-02-19 09:59:23 +0100 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-19 09:56:53 +0100 | Ekho | (~Ekho@user/ekho) Ekho |
| 2026-02-19 09:55:06 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2026-02-19 09:52:32 +0100 | qqq | (~qqq@185.54.22.240) |
| 2026-02-19 09:51:44 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-02-19 09:48:51 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 272 seconds) |
| 2026-02-19 09:48:27 +0100 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-02-19 09:45:31 +0100 | fp | (~Thunderbi@130.233.70.214) fp |
| 2026-02-19 09:45:03 +0100 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-02-19 09:42:25 +0100 | Ekho | (~Ekho@user/ekho) (Quit: CORE ERROR, SYSTEM HALTED.) |
| 2026-02-19 09:41:16 +0100 | tuxpaint | (~a@put.gay) |
| 2026-02-19 09:40:59 +0100 | firesquidwao | (~a@put.gay) (Server closed connection) |
| 2026-02-19 09:39:40 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-02-19 09:36:58 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-19 09:35:07 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2026-02-19 09:26:46 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-19 09:25:38 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-02-19 09:23:32 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Quit: xff0x) |
| 2026-02-19 09:20:30 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-02-19 09:18:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-19 09:14:54 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-19 09:14:04 +0100 | <sshine_> | whoops, too late |
| 2026-02-19 09:13:58 +0100 | <sshine_> | https://web.archive.org/web/20220122230219/http://dev.stephendiehl.com/fun/002_parsers.html |
| 2026-02-19 09:13:45 +0100 | <jackdk> | http://web.archive.org/web/20220416135359/http://dev.stephendiehl.com/hask/ |
| 2026-02-19 09:13:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 09:12:13 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Quit: xff0x) |
| 2026-02-19 09:10:05 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 269 seconds) |
| 2026-02-19 09:07:50 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-02-19 09:03:18 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 268 seconds) |
| 2026-02-19 09:00:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-19 08:59:43 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2026-02-19 08:58:57 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-19 08:58:37 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-02-19 08:55:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |