Newest at the top
| 2026-05-31 11:53:12 +0000 | <mangoiv> | but it's very different to what GHC does. |
| 2026-05-31 11:53:08 +0000 | <mangoiv> | so I would actually prefer if we had something that was closer to the algebra of patterns approach |
| 2026-05-31 11:52:28 +0000 | <mangoiv> | and it's good style to not have e.g. `otherwise` branches. |
| 2026-05-31 11:52:20 +0000 | <mangoiv> | My personal opinion is that first match semantics while very common is quite error prone. |
| 2026-05-31 11:51:49 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-05-31 11:51:49 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-05-31 11:51:49 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-05-31 11:50:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-31 11:45:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-31 11:35:21 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 252 seconds) |
| 2026-05-31 11:30:12 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-31 11:29:45 +0000 | uint64_t | (ec7b9bb9f3@2a03:6000:1812:100::139b) k_hachig |
| 2026-05-31 11:29:44 +0000 | shreyasminocha | (51fdc93eda@user/shreyasminocha) shreyasminocha |
| 2026-05-31 11:29:43 +0000 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) l3gacyb3ta |
| 2026-05-31 11:29:43 +0000 | sus | (1b7af6299f@user/zeromomentum) zeromomentum |
| 2026-05-31 11:29:43 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) jgart |
| 2026-05-31 11:29:42 +0000 | filwisher | (2e6936c793@2a03:6000:1812:100::170) |
| 2026-05-31 11:29:41 +0000 | caz | (866183745f@2a03:6000:1812:100::15d4) caz |
| 2026-05-31 11:29:16 +0000 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) b0o |
| 2026-05-31 11:29:15 +0000 | cephei8 | (b8652603d7@user/cephei8) cephei8 |
| 2026-05-31 11:28:37 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2026-05-31 11:28:26 +0000 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) JoelMcCracken |
| 2026-05-31 11:28:26 +0000 | rselim | (ce261f06ff@user/milesrout) milesrout |
| 2026-05-31 11:28:25 +0000 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) evanrelf |
| 2026-05-31 11:28:24 +0000 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) |
| 2026-05-31 11:25:55 +0000 | Icy-Thought | (~user@user/icy-thought) (Remote host closed the connection) |
| 2026-05-31 11:25:45 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-31 11:25:43 +0000 | Icy-Thought | (~user@user/icy-thought) icy-thought |
| 2026-05-31 11:25:32 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds) |
| 2026-05-31 11:23:36 +0000 | <yin> | i'm happy that it validates my often frowned upon style of avoiding anything but pattern guards |
| 2026-05-31 11:19:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 259 seconds) |
| 2026-05-31 11:18:02 +0000 | samhh | (7569f027cf@2a03:6000:1812:100::e4) samhh |
| 2026-05-31 11:18:02 +0000 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) fvr |
| 2026-05-31 11:18:00 +0000 | jakzale | (6291399afa@user/jakzale) jakzale |
| 2026-05-31 11:16:50 +0000 | bheesham | (3aa22d8375@2a03:6000:1812:100::e40) bheesham |
| 2026-05-31 11:15:28 +0000 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) ggb |
| 2026-05-31 11:15:22 +0000 | jakzale | (6291399afa@user/jakzale) (Ping timeout: 250 seconds) |
| 2026-05-31 11:15:22 +0000 | bheesham | (3aa22d8375@2a03:6000:1812:100::e40) (Ping timeout: 250 seconds) |
| 2026-05-31 11:15:22 +0000 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) (Ping timeout: 250 seconds) |
| 2026-05-31 11:15:22 +0000 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) (Ping timeout: 250 seconds) |
| 2026-05-31 11:15:22 +0000 | samhh | (7569f027cf@2a03:6000:1812:100::e4) (Ping timeout: 250 seconds) |
| 2026-05-31 11:14:56 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) (Ping timeout: 250 seconds) |
| 2026-05-31 11:14:56 +0000 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) (Ping timeout: 250 seconds) |
| 2026-05-31 11:14:56 +0000 | uint64_t | (ec7b9bb9f3@2a03:6000:1812:100::139b) (Ping timeout: 250 seconds) |
| 2026-05-31 11:14:56 +0000 | sus | (1b7af6299f@user/zeromomentum) (Ping timeout: 250 seconds) |
| 2026-05-31 11:14:56 +0000 | caz | (866183745f@2a03:6000:1812:100::15d4) (Ping timeout: 250 seconds) |
| 2026-05-31 11:14:56 +0000 | filwisher | (2e6936c793@2a03:6000:1812:100::170) (Ping timeout: 250 seconds) |
| 2026-05-31 11:14:56 +0000 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Ping timeout: 250 seconds) |
| 2026-05-31 11:14:30 +0000 | cephei8 | (b8652603d7@user/cephei8) (Ping timeout: 250 seconds) |
| 2026-05-31 11:14:30 +0000 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) (Ping timeout: 250 seconds) |