Newest at the top
2024-10-06 10:29:18 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-10-06 10:29:09 +0200 | CiaoSen | (~Jura@2a05:5800:464:f400:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds) |
2024-10-06 10:28:42 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2024-10-06 10:25:08 +0200 | ubert | (~Thunderbi@178.165.166.66.wireless.dyn.drei.com) (Remote host closed the connection) |
2024-10-06 10:24:43 +0200 | ubert | (~Thunderbi@178.165.166.66.wireless.dyn.drei.com) ubert |
2024-10-06 10:24:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-06 10:19:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 10:18:50 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-10-06 10:13:22 +0200 | artu | (~artu@2601:600:8181:9b00::14) artu |
2024-10-06 10:06:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-06 10:05:45 +0200 | <jackdk> | it would be neat if you didn't get shadowing warnings for bindings consumed by a linear arrow |
2024-10-06 10:03:37 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2024-10-06 10:02:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 09:58:02 +0200 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
2024-10-06 09:49:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-06 09:45:28 +0200 | andrewboltachev | (~andrey@178.141.123.3) andrewboltachev |
2024-10-06 09:45:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 09:45:10 +0200 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
2024-10-06 09:44:09 +0200 | rosco | (~rosco@183.171.107.70) (Quit: Lost terminal) |
2024-10-06 09:43:22 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb9670d70e28f87691c4.dip0.t-ipconnect.de) acidjnk |
2024-10-06 09:42:41 +0200 | CiaoSen | (~Jura@2a05:5800:464:f400:ca4b:d6ff:fec1:99da) CiaoSen |
2024-10-06 09:40:39 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Client Quit) |
2024-10-06 09:38:39 +0200 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
2024-10-06 09:38:31 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:3afa:9370:887b:74f7) (Ping timeout: 264 seconds) |
2024-10-06 09:36:05 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
2024-10-06 09:33:34 +0200 | <Axman6> | because that makes it much harder to see that the code is correct, there could be an error anywhere and adding something in the middle means updating everything afterwards |
2024-10-06 09:33:05 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
2024-10-06 09:32:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-06 09:32:23 +0200 | <Inst> | axman6: why can't you just stuff ' or numbers at the end? |
2024-10-06 09:28:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 09:25:38 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:3afa:9370:887b:74f7) |
2024-10-06 09:24:07 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2024-10-06 09:22:14 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2024-10-06 09:19:01 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
2024-10-06 09:16:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-06 09:14:42 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-10-06 09:12:33 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 276 seconds) |
2024-10-06 09:12:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 09:09:40 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-10-06 09:03:25 +0200 | tt123109783243 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
2024-10-06 09:00:35 +0200 | caconym | (~caconym@user/caconym) caconym |
2024-10-06 09:00:02 +0200 | tt123109783243 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
2024-10-06 09:00:00 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2024-10-06 08:58:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-10-06 08:55:08 +0200 | <haskellbridge> | <thirdofmay18081814goya> anyone got a good intro for domain-theoretic semantic of recursive types? |
2024-10-06 08:54:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 08:50:42 +0200 | Square | (~Square@user/square) Square |
2024-10-06 08:49:35 +0200 | Square | (~Square@user/square) (Client Quit) |
2024-10-06 08:48:37 +0200 | Square | (~Square@user/square) Square |
2024-10-06 08:40:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |