Newest at the top
| 2025-02-05 21:29:47 +0100 | zero | (~z@user/zero) zero |
| 2025-02-05 21:29:33 +0100 | lisbeths | (~user@c-174-164-24-226.hsd1.wa.comcast.net) (Ping timeout: 268 seconds) |
| 2025-02-05 21:28:19 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-02-05 21:27:15 +0100 | zero | (~z@user/zero) (Client Quit) |
| 2025-02-05 21:25:33 +0100 | <tomsmeding> | with some `interact`-style IO mechanism |
| 2025-02-05 21:25:17 +0100 | <tomsmeding> | isn't the BLC just a compact notation for the regular untyped lambda calculus? |
| 2025-02-05 21:25:13 +0100 | zero | (~z@user/zero) zero |
| 2025-02-05 21:25:07 +0100 | kenran | (~kenran@user/kenran) kenran |
| 2025-02-05 21:23:27 +0100 | zero | (~z@user/zero) (Quit: quit) |
| 2025-02-05 21:22:46 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-05 21:17:47 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 21:15:31 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-02-05 21:14:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 21:13:55 +0100 | <geekosaur> | (at least I think that was him) |
| 2025-02-05 21:13:36 +0100 | <geekosaur> | he used to hang out here but apparently hasn't joined since late january |
| 2025-02-05 21:13:06 +0100 | kenran | (~kenran@user/kenran) (Remote host closed the connection) |
| 2025-02-05 21:12:08 +0100 | kenran | (~kenran@user/kenran) kenran |
| 2025-02-05 21:04:46 +0100 | <lisbeths> | is there anyone here who knows john tromp's binary lambda calculus? |
| 2025-02-05 21:04:30 +0100 | lisbeths | (~user@c-174-164-24-226.hsd1.wa.comcast.net) lisbeths |
| 2025-02-05 21:03:03 +0100 | orenty7 | (~orenty7@176.88.22.4) (Ping timeout: 252 seconds) |
| 2025-02-05 21:00:52 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-02-05 21:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-02-05 20:58:58 +0100 | aljazmc | (~aljazmc@user/aljazmc) aljazmc |
| 2025-02-05 20:52:11 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-02-05 20:47:44 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-05 20:44:58 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-02-05 20:43:27 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds) |
| 2025-02-05 20:32:55 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-02-05 20:30:11 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-05 20:28:23 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 20:21:33 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-02-05 20:21:11 +0100 | haver | (~newyear@2.219.56.221) |
| 2025-02-05 20:20:28 +0100 | haver | (~newyear@2.219.56.221) (Excess Flood) |
| 2025-02-05 20:20:18 +0100 | haver | (~newyear@2.219.56.221) |
| 2025-02-05 20:17:33 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-02-05 20:14:26 +0100 | jespada | (~jespada@2800:a4:22f0:ad00:99d3:1891:5585:fb7a) jespada |
| 2025-02-05 20:14:08 +0100 | mniip_ | mniip |
| 2025-02-05 20:11:14 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-02-05 20:11:05 +0100 | byte | (~mu@user/byte) byte |
| 2025-02-05 20:07:03 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f01d9acb33bf68493bd.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-02-05 20:04:43 +0100 | JuanDaugherty | ColinRobinson |
| 2025-02-05 19:57:24 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-02-05 19:53:41 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-02-05 19:52:48 +0100 | byte | (~mu@user/byte) (Ping timeout: 265 seconds) |
| 2025-02-05 19:46:50 +0100 | fun-safe-math | (~fun-safe-@2601:1c2:1b7f:801f:f530:2eec:1f02:adc2) fun-safe-math |
| 2025-02-05 19:45:35 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-05 19:45:07 +0100 | hawer | (~newyear@2.219.56.221) (Ping timeout: 244 seconds) |
| 2025-02-05 19:44:35 +0100 | fun-safe-math | (~fun-safe-@2601:1c2:1b7f:801f:615b:f09:507b:cda6) (Quit: No Ping reply in 180 seconds.) |
| 2025-02-05 19:44:14 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-05 19:39:59 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |