Newest at the top
2024-12-28 19:59:10 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2024-12-28 19:59:08 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2024-12-28 19:56:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-12-28 19:52:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-28 19:51:59 +0100 | euleritian | (~euleritia@dynamic-176-006-135-074.176.6.pool.telefonica.de) (Ping timeout: 272 seconds) |
2024-12-28 19:51:40 +0100 | <tokie> | yeah, i was hoping for an offline copy but i guess play is the best bet |
2024-12-28 19:44:46 +0100 | euleritian | (~euleritia@dynamic-176-006-135-074.176.6.pool.telefonica.de) |
2024-12-28 19:40:40 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) justsomeguy |
2024-12-28 19:40:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-12-28 19:35:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-28 19:35:13 +0100 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) Natch |
2024-12-28 19:33:25 +0100 | euleritian | (~euleritia@dynamic-176-006-135-074.176.6.pool.telefonica.de) (Ping timeout: 248 seconds) |
2024-12-28 19:31:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-12-28 19:29:46 +0100 | pavonia | (~user@user/siracusa) siracusa |
2024-12-28 19:29:07 +0100 | euleritian | (~euleritia@dynamic-176-006-135-074.176.6.pool.telefonica.de) |
2024-12-28 19:27:14 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit) |
2024-12-28 19:27:13 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2024-12-28 19:27:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-28 19:26:11 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-12-28 19:25:46 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
2024-12-28 19:20:24 +0100 | <monochrom> | prsteele: That one is extremely difficult to hand-annotate. Long story. If possible, just don't bother. |
2024-12-28 19:18:30 +0100 | <monochrom> | plitter: Yes if you use "let" it's already lazy. |
2024-12-28 19:17:20 +0100 | <geekosaur> | I thought someone had an iOS port somewhere, but yeh, play.haskell.org or godbolt.org would be easiest |
2024-12-28 19:16:43 +0100 | <haskellbridge> | <hellwolf> play.haskell.org |
2024-12-28 19:15:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-12-28 19:14:41 +0100 | fp | (~Thunderbi@216-165-226-178.championbroadband.com) (Ping timeout: 248 seconds) |
2024-12-28 19:12:26 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2024-12-28 19:12:15 +0100 | kimiamania | (~65804703@user/kimiamania) kimiamania |
2024-12-28 19:10:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-28 19:09:10 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-12-28 19:06:42 +0100 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) (Remote host closed the connection) |
2024-12-28 19:06:17 +0100 | fp | (~Thunderbi@216-165-226-178.championbroadband.com) fp |
2024-12-28 19:05:44 +0100 | kimiamania | (~65804703@user/kimiamania) (Quit: PegeLinux) |
2024-12-28 19:05:04 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-12-28 19:04:49 +0100 | <tokie> | is there a good option for haskell on the ipad? |
2024-12-28 19:02:21 +0100 | tabemann__ | (~tabemann@2600:1700:7990:24e0:ada6:84a7:3e7e:966c) |
2024-12-28 19:01:26 +0100 | tabemann__ | (~tabemann@2600:1700:7990:24e0:ada6:84a7:3e7e:966c) (Remote host closed the connection) |
2024-12-28 19:00:40 +0100 | euleritian | (~euleritia@dynamic-176-006-135-074.176.6.pool.telefonica.de) (Ping timeout: 272 seconds) |
2024-12-28 18:58:48 +0100 | <prsteele> | I'm trying to figure out if there's a reasonable way to annotate locally-bound functions in the ST monad. Examples at https://paste.tomsmeding.com/cjXBqns9 |
2024-12-28 18:57:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2024-12-28 18:57:00 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-12-28 18:55:52 +0100 | prsteele | (~prsteele@pool-173-48-172-223.bstnma.fios.verizon.net) |
2024-12-28 18:55:51 +0100 | tabemann__ | (~tabemann@2600:1700:7990:24e0:ada6:84a7:3e7e:966c) |
2024-12-28 18:52:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-28 18:52:06 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.4.2) |
2024-12-28 18:51:19 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2024-12-28 18:49:28 +0100 | Xe | (~Xe@perl/impostor/xe) Xe |
2024-12-28 18:49:24 +0100 | tabemann__ | (~tabemann@2600:1700:7990:24e0:12b1:e4e1:19de:88e5) (Remote host closed the connection) |
2024-12-28 18:42:53 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Ping timeout: 245 seconds) |
2024-12-28 18:40:57 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |