Newest at the top
| 2025-01-07 18:05:59 +0100 | RedFlamingos | (~RedFlamin@user/RedFlamingos) (Ping timeout: 265 seconds) |
| 2025-01-07 18:05:25 +0100 | kuribas | (~user@ptr-17d51emkwlp9y9rv9mz.18120a2.ip6.access.telenet.be) (Ping timeout: 248 seconds) |
| 2025-01-07 18:04:49 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f16e58e65020330ade6.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-07 18:02:25 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-07 18:01:54 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-07 17:58:10 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-01-07 17:52:13 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-07 17:51:43 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-07 17:42:33 +0100 | Square | (~Square@user/square) Square |
| 2025-01-07 17:42:02 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-07 17:41:32 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-07 17:31:53 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-07 17:31:22 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-07 17:21:41 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-07 17:21:11 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-07 17:11:41 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2025-01-07 17:11:38 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-07 17:11:01 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-07 17:04:21 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-07 17:02:59 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-07 17:01:23 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-07 17:01:02 +0100 | homo_ | homo |
| 2025-01-07 17:00:53 +0100 | homo | (~homo@user/homo) (Ping timeout: 248 seconds) |
| 2025-01-07 17:00:41 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-07 16:56:55 +0100 | homo_ | (~homo@user/homo) homo |
| 2025-01-07 16:56:42 +0100 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2025-01-07 16:56:32 +0100 | jespada | (~jespada@2800:a4:df:5500:7cf2:7592:7185:e171) jespada |
| 2025-01-07 16:54:56 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 2025-01-07 16:53:21 +0100 | jespada | (~jespada@2800:a4:c5:2900:7896:24d4:be22:1827) (Ping timeout: 248 seconds) |
| 2025-01-07 16:40:38 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-07 16:32:16 +0100 | turlando | (~turlando@user/turlando) turlando |
| 2025-01-07 16:29:16 +0100 | turlando | (~turlando@user/turlando) () |
| 2025-01-07 16:28:54 +0100 | kuribas | (~user@ptr-17d51emkwlp9y9rv9mz.18120a2.ip6.access.telenet.be) kuribas |
| 2025-01-07 16:24:49 +0100 | ft | (~ft@p4fc2a354.dip0.t-ipconnect.de) ft |
| 2025-01-07 16:22:54 +0100 | alecs | (~alecs@nat16.software.imdea.org) (Ping timeout: 252 seconds) |
| 2025-01-07 16:19:51 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-01-07 16:13:21 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-01-07 16:02:48 +0100 | turlando | (~turlando@user/turlando) turlando |
| 2025-01-07 16:02:17 +0100 | turlando | (~turlando@user/turlando) () |
| 2025-01-07 15:47:58 +0100 | orangeFlu | (~orangeFlu@240-100-179-143.ftth.glasoperator.nl) orangeFlu |
| 2025-01-07 15:46:03 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-01-07 15:43:13 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-01-07 15:42:02 +0100 | agent314 | (~quassel@138.199.43.74) agent314 |
| 2025-01-07 15:36:37 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-07 15:29:57 +0100 | kuribas | (~user@ptr-17d51eobwafm7a8n0pk.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2025-01-07 15:28:50 +0100 | l_k | (~student@85.172.110.96) (Ping timeout: 260 seconds) |
| 2025-01-07 15:25:54 +0100 | l__k | (~student@85.172.110.161) |
| 2025-01-07 15:19:18 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-01-07 15:15:14 +0100 | <absence> | Oh right, I was confused by the necessity of an explicit forall in one case, but not the other. If I use GADT syntax for Test, I don't need any foralls. Thanks! |
| 2025-01-07 15:14:36 +0100 | ft | (~ft@p4fc2a354.dip0.t-ipconnect.de) (Quit: leaving) |