Newest at the top
| 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 |
| 2025-03-27 05:22:22 +0100 | <monochrom> | [exa]: We now have a new dreaded example for your minihm! flip flip flip flip flip ... |
| 2025-03-27 05:22:15 +0100 | <haskellbridge> | <Bowuigi> It became contravariant at some point |
| 2025-03-27 05:20:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-27 05:20:53 +0100 | <lambdabot> | Functor f => (a1 -> b) -> (a2 -> a1) -> f a2 -> f b |
| 2025-03-27 05:20:53 +0100 | <EvanR> | :t fmap fmap fmap fmap fmap |
| 2025-03-27 05:20:46 +0100 | <haskellbridge> | <Bowuigi> You need to flip it two more times in half the time |
| 2025-03-27 05:20:29 +0100 | <haskellbridge> | <Liamzee> ack |
| 2025-03-27 05:20:19 +0100 | <haskellbridge> | <Bowuigi> It says half an afternoon for 'flip flip' to 'flip flip flip flip flip' |
| 2025-03-27 05:19:57 +0100 | <EvanR> | that's so much more useful than pointless |
| 2025-03-27 05:19:36 +0100 | <lambdabot> | f a b = a b (\ c d e -> c e d) |