Newest at the top
| 2026-02-20 14:43:12 +0100 | <tomsmeding> | the @pl command is also here https://pointfree.io/ |
| 2026-02-20 14:42:20 +0100 | <castan> | oh wow |
| 2026-02-20 14:42:08 +0100 | <lambdabot> | (f .) . g |
| 2026-02-20 14:42:07 +0100 | <tomsmeding> | @pl \x y -> f (g x y) |
| 2026-02-20 14:42:05 +0100 | <tomsmeding> | ah: |
| 2026-02-20 14:41:10 +0100 | <castan> | yeah, it's impressive nevertheless |
| 2026-02-20 14:40:43 +0100 | <tomsmeding> | the downside of generic tools, they don't give you the nice middle road |
| 2026-02-20 14:40:30 +0100 | <tomsmeding> | heh |
| 2026-02-20 14:40:27 +0100 | <lambdabot> | (.) . (.) |
| 2026-02-20 14:40:27 +0100 | <tomsmeding> | @pl \a b c d -> a (b c d) |
| 2026-02-20 14:40:11 +0100 | <lambdabot> | f a b c d = a (b c d) |
| 2026-02-20 14:40:11 +0100 | <tomsmeding> | @djinn (c -> d) -> (a -> b -> c) -> a -> b -> d |
| 2026-02-20 14:40:07 +0100 | Googulator | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) |
| 2026-02-20 14:39:48 +0100 | <castan> | That's great thanks |
| 2026-02-20 14:39:45 +0100 | Googulator | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) (Quit: Client closed) |
| 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) |