2025/09/19

Newest at the top

2025-09-19 10:10:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 10:08:17 +0200PKDrinker(~PKDrinker@user/PKDrinker) PKDrinker
2025-09-19 10:06:32 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63
2025-09-19 10:05:14 +0200PKDrinker(~PKDrinker@user/PKDrinker) (Ping timeout: 260 seconds)
2025-09-19 10:01:43 +0200Guest7912vpan
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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-19 09:57:37 +0200nitrix(~nitrix@user/meow/nitrix) (Ping timeout: 258 seconds)
2025-09-19 09:56:20 +0200nitrix_(~nitrix@user/meow/nitrix) nitrix
2025-09-19 09:55:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 09:51:10 +0200rvalue(~rvalue@about/hackers/rvalue) rvalue
2025-09-19 09:50:41 +0200rvalue(~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer)
2025-09-19 09:49:11 +0200PKDrinker(~PKDrinker@user/PKDrinker) PKDrinker
2025-09-19 09:46:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-19 09:46:53 +0200Square(~Square4@user/square) (Ping timeout: 256 seconds)
2025-09-19 09:44:05 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
2025-09-19 09:43:22 +0200vpanGuest7912
2025-09-19 09:42:58 +0200vpan(~vpan@212.117.1.172)
2025-09-19 09:42:51 +0200vpan(~vpan@212.117.1.172) (Quit: Leaving.)
2025-09-19 09:42:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 09:41:23 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-09-19 09:41:04 +0200hsw__(~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) (Quit: Leaving)
2025-09-19 09:37:29 +0200xff0x(~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 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-09-19 09:31:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-19 09:31:22 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-19 09:31:22 +0200arandombit(~arandombi@2603:7000:4600:ffbe:24c2:9de:7130:cdb4) (Changing host)
2025-09-19 09:31:22 +0200arandombit(~arandombi@2603:7000:4600:ffbe:24c2:9de:7130:cdb4)
2025-09-19 09:29:22 +0200mreh(~matthew@host86-146-25-35.range86-146.btcentralplus.com)
2025-09-19 09:28:11 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds)
2025-09-19 09:27:35 +0200chele(~chele@user/chele) chele
2025-09-19 09:27:03 +0200Axma41470(~Axman6@user/axman6) (Ping timeout: 240 seconds)
2025-09-19 09:26:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 09:25:10 +0200Axman6(~Axman6@user/axman6) Axman6
2025-09-19 09:21:19 +0200Guest6036vpan
2025-09-19 09:21:01 +0200vpanGuest6036
2025-09-19 09:20:42 +0200vpan(~vpan@212.117.1.172)
2025-09-19 09:19:08 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 256 seconds)
2025-09-19 09:15:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-19 09:15:10 +0200jmcantrell(~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1)
2025-09-19 09:15:10 +0200PKDrinker(~PKDrinker@user/PKDrinker) (Ping timeout: 256 seconds)
2025-09-19 09:14:39 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-19 09:11:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-19 09:11:03 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63
2025-09-19 09:09:03 +0200jreicher(~user@user/jreicher) (Quit: In transit)
2025-09-19 09:08:19 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
2025-09-19 09:06:55 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-09-19 09:06:06 +0200Square(~Square4@user/square) Square