Newest at the top
| 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/ |
| 2026-02-11 10:58:06 +0100 | <gentauro> | However, I don't know how much of the FRP actually survived in later releases |
| 2026-02-11 10:57:15 +0100 | <gentauro> | s3np41: Perhaps Evan Czaplicki MSc thesis from Harvard? https://people.seas.harvard.edu/~chong/pubs/pldi13-elm.pdf |
| 2026-02-11 10:54:46 +0100 | Enrico63 | (~Enrico63@host-79-22-157-220.retail.telecomitalia.it) Enrico63 |
| 2026-02-11 10:51:47 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2026-02-11 10:44:03 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2026-02-11 10:39:37 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-02-11 10:35:59 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2026-02-11 10:33:53 +0100 | Moyst | (~moyst@user/moyst) Moyst |
| 2026-02-11 10:32:25 +0100 | Moyst | (~moyst@user/moyst) (Ping timeout: 264 seconds) |
| 2026-02-11 10:24:04 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5913:697:5f95:d198) |
| 2026-02-11 10:20:22 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-02-11 10:18:43 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-02-11 10:16:27 +0100 | Googulator64 | (~Googulato@2a01-036d-0106-216f-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-11 10:16:26 +0100 | Googulator33 | (~Googulato@2a01-036d-0106-216f-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-11 10:12:08 +0100 | chele | (~chele@user/chele) chele |
| 2026-02-11 10:09:28 +0100 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-02-11 10:07:38 +0100 | trickard | (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2026-02-11 10:07:25 +0100 | trickard | (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-11 10:04:50 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-02-11 10:01:29 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2026-02-11 10:01:29 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-02-11 10:01:29 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-02-11 09:48:19 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-11 09:45:10 +0100 | ft | (~ft@p508db4c0.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-02-11 09:43:59 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-11 09:41:57 +0100 | trickard_ | trickard |
| 2026-02-11 09:40:32 +0100 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-02-11 09:38:55 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) oneeyedalien |
| 2026-02-11 09:37:15 +0100 | Googulator64 | (~Googulato@2a01-036d-0106-216f-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-11 09:37:10 +0100 | Googulator | (~Googulato@2a01-036d-0106-216f-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |