Logs: liberachat/#haskell
| 2025-09-19 06:14:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-19 06:16:00 | → | Googulator69 joins (~Googulato@178-164-188-203.pool.digikabel.hu) |
| 2025-09-19 06:16:21 | × | Googulator48 quits (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-19 06:16:51 | Googulator69 | is now known as Googulator |
| 2025-09-19 06:19:54 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 256 seconds) |
| 2025-09-19 06:25:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-19 06:25:51 | trickard_ | is now known as trickard |
| 2025-09-19 06:26:12 | × | Googulator quits (~Googulato@178-164-188-203.pool.digikabel.hu) (Quit: Client closed) |
| 2025-09-19 06:30:23 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-19 06:30:44 | × | khumba quits (~khumba@user/khumba) () |
| 2025-09-19 06:40:32 | × | emmanuelux_ quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-09-19 06:40:36 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-19 06:40:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-19 06:41:07 | → | tromp joins (~textual@2001:1c00:3487:1b00:e91c:4745:1af1:e3b4) |
| 2025-09-19 06:42:46 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 2025-09-19 06:45:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-19 06:50:07 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-09-19 06:52:52 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-19 06:56:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-19 07:00:01 | × | caconym74787 quits (~caconym@user/caconym) (Quit: bye) |
| 2025-09-19 07:00:17 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 265 seconds) |
| 2025-09-19 07:00:39 | → | caconym74787 joins (~caconym@user/caconym) |
| 2025-09-19 07:00:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-19 07:01:11 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2025-09-19 07:03:04 | × | ft quits (~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-09-19 07:04:26 | → | Square2 joins (~Square@user/square) |
| 2025-09-19 07:04:47 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-09-19 07:06:06 | → | Square joins (~Square4@user/square) |
| 2025-09-19 07:06:55 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2025-09-19 07:08:19 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-19 07:09:03 | × | jreicher quits (~user@user/jreicher) (Quit: In transit) |
| 2025-09-19 07:11:03 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 2025-09-19 07:11:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-19 07:14:39 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-19 07:15:10 | × | PKDrinker quits (~PKDrinker@user/PKDrinker) (Ping timeout: 256 seconds) |
| 2025-09-19 07:15:10 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 2025-09-19 07:15:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-19 07:19:08 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-19 07:20:42 | → | vpan joins (~vpan@212.117.1.172) |
| 2025-09-19 07:21:01 | vpan | is now known as Guest6036 |
| 2025-09-19 07:21:19 | Guest6036 | is now known as vpan |
| 2025-09-19 07:25:10 | → | Axman6 joins (~Axman6@user/axman6) |
| 2025-09-19 07:26:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-19 07:27:03 | × | Axma41470 quits (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 2025-09-19 07:27:35 | → | chele joins (~chele@user/chele) |
| 2025-09-19 07:28:11 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
| 2025-09-19 07:29:22 | → | mreh joins (~matthew@host86-146-25-35.range86-146.btcentralplus.com) |
| 2025-09-19 07:31:22 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:24c2:9de:7130:cdb4) |
| 2025-09-19 07:31:22 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:24c2:9de:7130:cdb4) (Changing host) |
| 2025-09-19 07:31:22 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-19 07:31:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-19 07:34:14 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-09-19 07:35:09 | <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 07:37:00 | <dibblego> | data Tree a b = Tree a (Either [Tree a b] [b]) -- does this exist anywhere? |
| 2025-09-19 07:37:29 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-09-19 07:41:04 | × | hsw__ quits (~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) (Quit: Leaving) |
| 2025-09-19 07:41:23 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-09-19 07:42:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-19 07:42:51 | × | vpan quits (~vpan@212.117.1.172) (Quit: Leaving.) |
| 2025-09-19 07:42:58 | → | vpan joins (~vpan@212.117.1.172) |
| 2025-09-19 07:43:22 | vpan | is now known as Guest7912 |
| 2025-09-19 07:44:05 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-19 07:46:53 | × | Square quits (~Square4@user/square) (Ping timeout: 256 seconds) |
| 2025-09-19 07:46:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-19 07:49:11 | → | PKDrinker joins (~PKDrinker@user/PKDrinker) |
| 2025-09-19 07:50:41 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 2025-09-19 07:51:10 | → | rvalue joins (~rvalue@about/hackers/rvalue) |
| 2025-09-19 07:55:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-19 07:56:20 | → | nitrix_ joins (~nitrix@user/meow/nitrix) |
| 2025-09-19 07:57:37 | × | nitrix quits (~nitrix@user/meow/nitrix) (Ping timeout: 258 seconds) |
| 2025-09-19 07:59:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-19 08:00:18 | <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 08:01:43 | Guest7912 | is now known as vpan |
| 2025-09-19 08:05:14 | × | PKDrinker quits (~PKDrinker@user/PKDrinker) (Ping timeout: 260 seconds) |
| 2025-09-19 08:06:32 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 2025-09-19 08:08:17 | → | PKDrinker joins (~PKDrinker@user/PKDrinker) |
| 2025-09-19 08:10:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-19 08:16:41 | × | tromp quits (~textual@2001:1c00:3487:1b00:e91c:4745:1af1:e3b4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-19 08:17:30 | × | olivial quits (~benjaminl@user/benjaminl) (Ping timeout: 256 seconds) |
| 2025-09-19 08:17:35 | → | __monty__ joins (~toonn@user/toonn) |
| 2025-09-19 08:18:01 | → | Googulator joins (~Googulato@81.183.235.203) |
| 2025-09-19 08:18:04 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
| 2025-09-19 08:19:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-19 08:19:41 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-09-19 08:25:47 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-09-19 08:26:35 | → | acidjnk joins (~acidjnk@p200300d6e7171937d46e20cf8ad144df.dip0.t-ipconnect.de) |
| 2025-09-19 08:27:00 | → | A_Dragon joins (A_D@libera/staff/dragon) |
| 2025-09-19 08:30:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-19 08:32:01 | × | gAy_Dragon quits (A_D@libera/staff/dragon) (Ping timeout: 624 seconds) |
| 2025-09-19 08:35:04 | × | PKDrinker quits (~PKDrinker@user/PKDrinker) (Ping timeout: 256 seconds) |
| 2025-09-19 08:35:38 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-09-19 08:42:27 | × | byorgey quits (~byorgey@user/byorgey) (Ping timeout: 258 seconds) |
| 2025-09-19 08:42:33 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2025-09-19 08:43:32 | → | PKDrinker joins (~PKDrinker@user/PKDrinker) |
| 2025-09-19 08:44:12 | → | byorgey joins (~byorgey@user/byorgey) |
| 2025-09-19 08:47:47 | × | Xe quits (~Xe@perl/impostor/xe) (Ping timeout: 250 seconds) |
| 2025-09-19 08:47:57 | × | PKDrinker quits (~PKDrinker@user/PKDrinker) (Ping timeout: 244 seconds) |
| 2025-09-19 08:48:53 | → | PKDrinker joins (~PKDrinker@user/PKDrinker) |
| 2025-09-19 08:50:29 | → | Axma26850 joins (~Axman6@user/axman6) |
| 2025-09-19 08:50:56 | → | Xe joins (~Xe@perl/impostor/xe) |
All times are in UTC.