Newest at the top
| 2026-02-11 12:35:11 +0100 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2026-02-11 12:35:10 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2026-02-11 12:34:58 +0100 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-11 12:34:44 +0100 | <ski> | got annoyed at not having `BlockArguments'-style printing of trailing lambda (including inside of an outer bracketting), with a simple standard precedence printer that i used for some examples i was playing around with, so i threw the above together, to see whether my initial hunch for how to do it would work |
| 2026-02-11 12:34:44 +0100 | comonad | (~comonad@p200300d02722ae00dce4ce9451b59974.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2026-02-11 12:30:09 +0100 | <Leary> | Haskell98 printing in a better timeline. |
| 2026-02-11 12:29:50 +0100 | Enrico63 | (~Enrico63@host-79-22-157-220.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-02-11 12:28:34 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-02-11 12:20:48 +0100 | <tomsmeding> | controversional BlockArguments printing :p |
| 2026-02-11 12:16:03 +0100 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2026-02-11 12:15:50 +0100 | trickard | (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-11 12:15:49 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 2026-02-11 12:06:44 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2026-02-11 12:05:42 +0100 | trickard__ | trickard |
| 2026-02-11 12:03:40 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2026-02-11 11:46:38 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-02-11 11:46:18 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2026-02-11 11:45:23 +0100 | Googulator33 | Googulator |
| 2026-02-11 11:44:17 +0100 | oskarw | (~user@user/oskarw) oskarw |
| 2026-02-11 11:44:00 +0100 | absence | (torgeihe@hildring.pvv.ntnu.no) |
| 2026-02-11 11:43:22 +0100 | juri_ | (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 2026-02-11 11:43:13 +0100 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2026-02-11 11:43:13 +0100 | juri_ | (~juri@212.86.50.13) juri_ |
| 2026-02-11 11:42:37 +0100 | oskarw | (~user@user/oskarw) (Ping timeout: 264 seconds) |
| 2026-02-11 11:42:07 +0100 | absence | (torgeihe@hildring.pvv.ntnu.no) (Ping timeout: 244 seconds) |
| 2026-02-11 11:41:22 +0100 | trickard__ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2026-02-11 11:38:02 +0100 | juri_ | (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 2026-02-11 11:37:35 +0100 | juri_ | (~juri@212.86.50.13) juri_ |
| 2026-02-11 11:32:06 +0100 | juri_ | (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 2026-02-11 11:32:06 +0100 | juri_ | (~juri@212.86.50.13) juri_ |
| 2026-02-11 11:29:25 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 2026-02-11 11:29:15 +0100 | <lambdabot> | "(\\a. a \\b. b) \\c. c \\d. d" |
| 2026-02-11 11:29:14 +0100 | <ski> | > serExp 0 0 (App (Abs "a" (App (Var "a") (Abs "b" (Var "b")))) (Abs "c" (App (Var "c") (Abs "d" (Var "d"))))) "" |
| 2026-02-11 11:29:12 +0100 | <lambdabot> | "(\\a. a b) \\d. c d" |
| 2026-02-11 11:29:11 +0100 | <ski> | > serExp 0 0 (App (Abs "a" (App (Var "a") (Var "b"))) (Abs "d" (App (Var "c") (Var "d")))) "" |
| 2026-02-11 11:29:06 +0100 | <lambdabot> | "a b (c d)" |
| 2026-02-11 11:29:04 +0100 | <ski> | > serExp 0 0 (App (App (Var "a") (Var "b")) (App (Var "c") (Var "d"))) "" |
| 2026-02-11 11:26:05 +0100 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2026-02-11 11:24:34 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-11 11:22:24 +0100 | trickard | (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2026-02-11 11:21:52 +0100 | <gentauro> | s3np41: my bad, I linked to Evans paper instead of his MSc thesis. Here you go -> https://elm-lang.org/assets/papers/concurrent-frp.pdf |
| 2026-02-11 11:10:10 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-11 11:09:56 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2026-02-11 11:09:31 +0100 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) bwe |
| 2026-02-11 11:05:59 +0100 | gentauro | https://gren-lang.org/ just copy/pasta ALL of elm-lang and then they did a rename. That's what permissive open source licenses gets you … |
| 2026-02-11 11:05:23 +0100 | <gentauro> | and for Evan, well, just search for Elm ;) (not to be confused with https://gren-lang.org/ xD) |
| 2026-02-11 11:03:32 +0100 | <gentauro> | for Ivan lookup "Keera Studios" (gaming in FRP Haskell) and (the GOOD) CoPilot (Haskell FRP for NASA) |
| 2026-02-11 11:00:30 +0100 | <gentauro> | (Y) |
| 2026-02-11 11:00:27 +0100 | <gentauro> | Both Evan and Ivan have transitioned FRP from academia to industry "very" succesfully |
| 2026-02-11 11:00:07 +0100 | <gentauro> | s3np41: another good source is Ivan Perez (with a PhD from Nottingham Uni and currently at NASA) https://eprints.nottingham.ac.uk/50348/ |