Newest at the top
| 2025-03-27 06:40:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-27 06:37:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-03-27 06:34:25 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-03-27 06:32:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-27 06:23:59 +0100 | <EvanR> | cool, though it doesn't work in hexchat :( |
| 2025-03-27 06:22:36 +0100 | <jackdk> | The one I remember most s C-S-u 03bb |
| 2025-03-27 06:22:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-03-27 06:21:19 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-27 06:16:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-27 06:13:13 +0100 | <haskellbridge> | <Liamzee> For some reason, I also remember typing a lot of 0252, but I can't remember why I'd use umlauted u |
| 2025-03-27 06:10:27 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection) |
| 2025-03-27 06:08:57 +0100 | <EvanR> | lol yeah |
| 2025-03-27 06:05:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-27 06:05:36 +0100 | zungi | (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 2025-03-27 06:01:30 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-03-27 06:00:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-27 06:00:39 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-03-27 06:00:29 +0100 | califax | (~califax@user/califx) califx |
| 2025-03-27 06:00:15 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Read error: Connection reset by peer) |
| 2025-03-27 06:00:15 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-03-27 06:00:15 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Read error: Connection reset by peer) |
| 2025-03-27 05:56:30 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-03-27 05:55:57 +0100 | Square | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2025-03-27 05:55:55 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-03-27 05:52:35 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-03-27 05:50:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-27 05:49:52 +0100 | <haskellbridge> | <Liamzee> do you still remember alt 0233 on windows? |
| 2025-03-27 05:48:39 +0100 | <haskellbridge> | <Liamzee> no idea what it is in kde |
| 2025-03-27 05:46:54 +0100 | <haskellbridge> | <Liamzee> ctrl shift u 0009 on gnome |
| 2025-03-27 05:46:12 +0100 | <haskellbridge> | <Bowuigi> That's why some people prefer spaces over tabs |
| 2025-03-27 05:45:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-27 05:42:13 +0100 | michalz | (~michalz@185.246.207.197) |
| 2025-03-27 05:36:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-27 05:35:25 +0100 | <EvanR> | I can't indent in hexchat because tab changes widget focus |
| 2025-03-27 05:35:02 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-03-27 05:33:14 +0100 | aforemny | (~aforemny@2001:9e8:6cc1:be00:edce:fe13:a80e:d4b5) (Ping timeout: 272 seconds) |
| 2025-03-27 05:32:25 +0100 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-03-27 05:31:38 +0100 | aforemny_ | (~aforemny@2001:9e8:6cdb:6d00:dc2e:87c9:d5a9:a75) aforemny |
| 2025-03-27 05:31:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-27 05:30:44 +0100 | <EvanR> | indentation... |
| 2025-03-27 05:30:01 +0100 | <monochrom> | No! This is how indentation was invented! |
| 2025-03-27 05:28:21 +0100 | <EvanR> | and this is how derivation trees were invented |
| 2025-03-27 05:26:09 +0100 | <haskellbridge> | <Liamzee> the actual challenge in the exercise tbh is explaining what's happening concisely |
| 2025-03-27 05:26:00 +0100 | <haskellbridge> | <Liamzee> plug in, (a -> (old b) -> c) -> (a -> c), with a unifying with u on the older form and c unifying with v on the older form |
| 2025-03-27 05:25:17 +0100 | <haskellbridge> | <Liamzee> in u -> v -> w |
| 2025-03-27 05:24:20 +0100 | <haskellbridge> | <Liamzee> flip is, let u = (a -> b -> c), v = b, w = (a -> c) |
| 2025-03-27 05:23:24 +0100 | <haskellbridge> | <Liamzee> in terms of types, the (...) is unused but propagates |
| 2025-03-27 05:22:53 +0100 | <haskellbridge> | <Liamzee> since it's (a -> (...) -> c) -> (a -> c) |
| 2025-03-27 05:22:39 +0100 | <haskellbridge> | <Bowuigi> Nvm I can't read |
| 2025-03-27 05:22:24 +0100 | <haskellbridge> | <Liamzee> once you figure out the trick at 3 layers to 4, you don't need to do anything more |