Newest at the top
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 |
2025-09-19 09:34:14 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
2025-09-19 09:31:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-19 09:31:22 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-19 09:31:22 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:24c2:9de:7130:cdb4) (Changing host) |
2025-09-19 09:31:22 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:24c2:9de:7130:cdb4) |
2025-09-19 09:29:22 +0200 | mreh | (~matthew@host86-146-25-35.range86-146.btcentralplus.com) |
2025-09-19 09:28:11 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
2025-09-19 09:27:35 +0200 | chele | (~chele@user/chele) chele |
2025-09-19 09:27:03 +0200 | Axma41470 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
2025-09-19 09:26:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 09:25:10 +0200 | Axman6 | (~Axman6@user/axman6) Axman6 |
2025-09-19 09:21:19 +0200 | Guest6036 | vpan |
2025-09-19 09:21:01 +0200 | vpan | Guest6036 |
2025-09-19 09:20:42 +0200 | vpan | (~vpan@212.117.1.172) |
2025-09-19 09:19:08 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
2025-09-19 09:15:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-19 09:15:10 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
2025-09-19 09:15:10 +0200 | PKDrinker | (~PKDrinker@user/PKDrinker) (Ping timeout: 256 seconds) |
2025-09-19 09:14:39 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-19 09:11:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-19 09:11:03 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
2025-09-19 09:09:03 +0200 | jreicher | (~user@user/jreicher) (Quit: In transit) |
2025-09-19 09:08:19 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
2025-09-19 09:06:55 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-09-19 09:06:06 +0200 | Square | (~Square4@user/square) Square |