Newest at the top
2025-09-19 10:52:03 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
2025-09-19 10:51:59 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-09-19 10:50:56 +0200 | Xe | (~Xe@perl/impostor/xe) Xe |
2025-09-19 10:50:29 +0200 | Axma26850 | (~Axman6@user/axman6) Axman6 |
2025-09-19 10:48:53 +0200 | PKDrinker | (~PKDrinker@user/PKDrinker) PKDrinker |
2025-09-19 10:47:57 +0200 | PKDrinker | (~PKDrinker@user/PKDrinker) (Ping timeout: 244 seconds) |
2025-09-19 10:47:47 +0200 | Xe | (~Xe@perl/impostor/xe) (Ping timeout: 250 seconds) |
2025-09-19 10:44:12 +0200 | byorgey | (~byorgey@user/byorgey) byorgey |
2025-09-19 10:43:32 +0200 | PKDrinker | (~PKDrinker@user/PKDrinker) PKDrinker |
2025-09-19 10:42:33 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Ping timeout: 260 seconds) |
2025-09-19 10:42:27 +0200 | byorgey | (~byorgey@user/byorgey) (Ping timeout: 258 seconds) |
2025-09-19 10:35:38 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
2025-09-19 10:35:04 +0200 | PKDrinker | (~PKDrinker@user/PKDrinker) (Ping timeout: 256 seconds) |
2025-09-19 10:32:01 +0200 | gAy_Dragon | (A_D@libera/staff/dragon) (Ping timeout: 624 seconds) |
2025-09-19 10:30:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 10:27:00 +0200 | A_Dragon | (A_D@libera/staff/dragon) ad |
2025-09-19 10:26:35 +0200 | acidjnk | (~acidjnk@p200300d6e7171937d46e20cf8ad144df.dip0.t-ipconnect.de) acidjnk |
2025-09-19 10:25:47 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-09-19 10:19:41 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-09-19 10:19:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-19 10:18:04 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
2025-09-19 10:18:01 +0200 | Googulator | (~Googulato@81.183.235.203) |
2025-09-19 10:17:35 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2025-09-19 10:17:30 +0200 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 256 seconds) |
2025-09-19 10:16:41 +0200 | tromp | (~textual@2001:1c00:3487:1b00:e91c:4745:1af1:e3b4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-09-19 10:10:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 10:08:17 +0200 | PKDrinker | (~PKDrinker@user/PKDrinker) PKDrinker |
2025-09-19 10:06:32 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
2025-09-19 10:05:14 +0200 | PKDrinker | (~PKDrinker@user/PKDrinker) (Ping timeout: 260 seconds) |
2025-09-19 10:01:43 +0200 | Guest7912 | vpan |
2025-09-19 10:00:18 +0200 | <tomsmeding> | it's close-ish to `data Tree a b = Leaf a b | Node a (Tree a b) (Tree a b)`, which I'd guess has a higher chance of existing somewhere |
2025-09-19 09:59:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-09-19 09:57:37 +0200 | nitrix | (~nitrix@user/meow/nitrix) (Ping timeout: 258 seconds) |
2025-09-19 09:56:20 +0200 | nitrix_ | (~nitrix@user/meow/nitrix) nitrix |
2025-09-19 09:55:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 09:51:10 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
2025-09-19 09:50:41 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
2025-09-19 09:49:11 +0200 | PKDrinker | (~PKDrinker@user/PKDrinker) PKDrinker |
2025-09-19 09:46:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-19 09:46:53 +0200 | Square | (~Square4@user/square) (Ping timeout: 256 seconds) |
2025-09-19 09:44:05 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
2025-09-19 09:43:22 +0200 | vpan | Guest7912 |
2025-09-19 09:42:58 +0200 | vpan | (~vpan@212.117.1.172) |
2025-09-19 09:42:51 +0200 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
2025-09-19 09:42:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 09:41:23 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-09-19 09:41:04 +0200 | hsw__ | (~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) (Quit: Leaving) |
2025-09-19 09:37:29 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-09-19 09:37:00 +0200 | <dibblego> | data Tree a b = Tree a (Either [Tree a b] [b]) -- does this exist anywhere? |
2025-09-19 09:35:09 +0200 | <tomsmeding> | iqubic: if no other way then at the very least you can put the unicode escape there -- \xF03A6 for the character that davean linked |