Newest at the top
| 2026-01-18 21:18:13 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2026-01-18 21:13:58 +0100 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-18 21:13:15 +0100 | trickard | (~trickard@cpe-82-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2026-01-18 21:12:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 21:04:24 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2026-01-18 21:01:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 20:56:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 20:51:16 +0100 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) superbil |
| 2026-01-18 20:45:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 20:41:23 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2026-01-18 20:41:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 20:39:49 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2026-01-18 20:38:35 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-01-18 20:31:14 +0100 | acidjnk | (~acidjnk@p200300d6e717195811a2eb9a91fd28d7.dip0.t-ipconnect.de) acidjnk |
| 2026-01-18 20:29:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 20:25:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 20:24:30 +0100 | jreicher | (~joelr@user/jreicher) (Quit: In transit) |
| 2026-01-18 20:24:22 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-01-18 20:23:39 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-01-18 20:22:31 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Ping timeout: 240 seconds) |
| 2026-01-18 20:18:18 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-01-18 20:14:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 20:13:14 +0100 | DetourNe- | DetourNetworkUK |
| 2026-01-18 20:11:16 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-01-18 20:10:57 +0100 | DetourNe- | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-01-18 20:09:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 19:59:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-18 19:54:27 +0100 | trickard_ | trickard |
| 2026-01-18 19:54:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 19:53:15 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2026-01-18 19:50:30 +0100 | <haskellbridge> | <thirdofmay18081814goya> neat, ty both for references! and wow MicroHS really is small |
| 2026-01-18 19:49:55 +0100 | michalz | (~michalz@185.246.207.221) (Ping timeout: 240 seconds) |
| 2026-01-18 19:47:42 +0100 | michalz_ | (~michalz@185.246.207.221) |
| 2026-01-18 19:46:17 +0100 | <geekosaur> | (in development) |
| 2026-01-18 19:46:05 +0100 | <geekosaur> | https://github.com/Superstar64/Hazy |
| 2026-01-18 19:41:07 +0100 | acidjnk | (~acidjnk@p200300d6e717195811a2eb9a91fd28d7.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2026-01-18 19:35:39 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 244 seconds) |
| 2026-01-18 19:35:25 +0100 | <monochrom> | If you just look for type checking, there is Typing Haskell in Haskell. If you also need execution or code generation, I bet MicroHS is the best starting point, simply because it is written from scratch most recently therefore maximum benefit of hindsight. |
| 2026-01-18 19:34:34 +0100 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2026-01-18 19:32:53 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2026-01-18 19:32:53 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-01-18 19:32:52 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-01-18 19:32:19 +0100 | <monochrom> | Or Hugs. Or MicroHS. :) |
| 2026-01-18 19:26:06 +0100 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-18 19:25:52 +0100 | trickard | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-18 19:25:33 +0100 | st_aldini1 | st_aldini |
| 2026-01-18 19:25:33 +0100 | st_aldini | (~Thunderbi@2605:a601:a07c:7426:52e7:74e7:d63d:c18b) (Ping timeout: 252 seconds) |
| 2026-01-18 19:24:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 19:22:02 +0100 | michalz | (~michalz@185.246.207.221) |
| 2026-01-18 19:21:39 +0100 | st_aldini1 | (~Thunderbi@2605:a601:a07c:7426:e89f:cd5f:b143:6c97) st_aldini |