Newest at the top
| 2026-02-20 14:39:21 +0100 | <tomsmeding> | whether that's clean enough I'll leave to you |
| 2026-02-20 14:39:10 +0100 | <tomsmeding> | castan: ^ |
| 2026-02-20 14:39:06 +0100 | <lambdabot> | (b -> c) -> (a1 -> a2 -> b) -> a1 -> a2 -> c |
| 2026-02-20 14:39:05 +0100 | <tomsmeding> | :t \f g -> (f .) . g |
| 2026-02-20 14:37:52 +0100 | <castan> | Hi. Is there a clean way to get this kind of composition: (c -> d) -> (a -> b -> c) -> a -> b -> d, without writing a new operator for it? |
| 2026-02-20 14:35:39 +0100 | housemate | (~housemate@pa49-178-146-220.pa.nsw.optusnet.com.au) housemate |
| 2026-02-20 14:33:54 +0100 | mfc_kbs | (~keibisoft@2a06:1fc0:0:1::1cd) |
| 2026-02-20 14:33:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-20 14:33:36 +0100 | mfc_kbs | (~keibisoft@2a06:1fc0:0:1::1cd) (Server closed connection) |
| 2026-02-20 14:32:02 +0100 | castan | (~castan@86.121.192.170) |
| 2026-02-20 14:31:54 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 268 seconds) |
| 2026-02-20 14:28:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 14:27:26 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-20 14:25:35 +0100 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-02-20 14:23:26 +0100 | kilolympus | (~kilolympu@vmi1102682.contaboserver.net) kilolympus |
| 2026-02-20 14:23:06 +0100 | kilolympus | (~kilolympu@vmi1102682.contaboserver.net) (Server closed connection) |
| 2026-02-20 14:17:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-20 14:16:40 +0100 | housemate_ | (~housemate@202.7.248.67) (Read error: Connection reset by peer) |
| 2026-02-20 14:16:36 +0100 | deadnode666 | (~deadnode6@user/deadnode666) deadnode666 |
| 2026-02-20 14:16:16 +0100 | deadnode666 | (~deadnode6@user/deadnode666) (Server closed connection) |
| 2026-02-20 14:15:55 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2026-02-20 14:15:43 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2026-02-20 14:12:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 14:11:53 +0100 | redshuffle | (~quassel@45.43.70.75) |
| 2026-02-20 14:11:46 +0100 | redshuffle | (~quassel@45.43.70.75) (Server closed connection) |
| 2026-02-20 14:07:59 +0100 | housemate | (~housemate@202.7.248.67) (Ping timeout: 260 seconds) |
| 2026-02-20 14:07:40 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2026-02-20 14:05:37 +0100 | housemate_ | (~housemate@202.7.248.67) housemate |
| 2026-02-20 14:01:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-20 13:56:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 13:56:17 +0100 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2026-02-20 13:51:51 +0100 | larsivi | (~larsivi@user/larsivi) larsivi |
| 2026-02-20 13:46:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-20 13:40:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 13:39:29 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 268 seconds) |
| 2026-02-20 13:29:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-02-20 13:23:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 13:22:59 +0100 | Square3 | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2026-02-20 13:21:43 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-20 13:21:02 +0100 | doyougnu | (~doyougnu@38.175.72.111) doyougnu |
| 2026-02-20 13:20:16 +0100 | doyougnu | (~doyougnu@38.175.72.111) (Server closed connection) |
| 2026-02-20 13:12:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-02-20 13:06:37 +0100 | xelxebar | (~xelxebar@42.203.199.104.bc.googleusercontent.com) xelxebar |
| 2026-02-20 13:06:16 +0100 | xelxebar | (~xelxebar@42.203.199.104.bc.googleusercontent.com) (Server closed connection) |
| 2026-02-20 13:04:59 +0100 | <gentauro> | oh, my bad. I was missing a `code-block` |
| 2026-02-20 13:04:25 +0100 | fun-safe-math | (~fun-safe-@97.115.234.213) fun-safe-math |
| 2026-02-20 13:02:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 13:02:10 +0100 | fun-safe-math | (~fun-safe-@97.115.234.213) () |
| 2026-02-20 13:00:45 +0100 | <gentauro> | it seems they don't like the `#! /usr/bin/env …` part |
| 2026-02-20 13:00:02 +0100 | <gentauro> | anybody know if `.lhs` (Literate programming, Bird style) can be executed as a script? |