Newest at the top
| 2024-04-27 17:03:06 +0200 | <ncf> | yin: see section 4.2 of https://simon.peytonjones.org/assets/pdfs/outsideinx.pdf |
| 2024-04-27 17:00:27 +0200 | mima | (~mmh@eduroam-pool4-264.wlan.uni-bremen.de) (Ping timeout: 268 seconds) |
| 2024-04-27 16:49:33 +0200 | <yin> | hi. can someone give me a simple explanation of why 'Pattern matching on GADTs without MonoLocalBinds is fragile'? |
| 2024-04-27 16:38:12 +0200 | mima | (~mmh@eduroam-pool4-264.wlan.uni-bremen.de) |
| 2024-04-27 16:38:12 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-04-27 16:11:53 +0200 | yin | (~yin@user/zero) |
| 2024-04-27 15:56:06 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:2128:605:71c4:66a4) (Ping timeout: 255 seconds) |
| 2024-04-27 15:53:46 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
| 2024-04-27 15:51:04 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:2128:605:71c4:66a4) |
| 2024-04-27 15:47:41 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:2128:605:71c4:66a4) (Ping timeout: 268 seconds) |
| 2024-04-27 15:42:48 +0200 | euleritian | (~euleritia@dynamic-176-000-161-190.176.0.pool.telefonica.de) |
| 2024-04-27 15:42:10 +0200 | euleritian | (~euleritia@2a02:810a:b00:1568:f2da:fe29:fe06:1289) (Ping timeout: 255 seconds) |
| 2024-04-27 15:35:44 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
| 2024-04-27 15:27:59 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2024-04-27 15:19:45 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
| 2024-04-27 15:16:40 +0200 | yin | (~yin@user/zero) (Quit: leaving) |
| 2024-04-27 15:10:09 +0200 | ocra8 | (ocra8@user/ocra8) |
| 2024-04-27 15:09:46 +0200 | yin | (~yin@user/zero) |
| 2024-04-27 15:04:27 +0200 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |
| 2024-04-27 15:02:11 +0200 | ocra8 | (ocra8@user/ocra8) (Quit: WeeChat 4.2.2) |
| 2024-04-27 15:01:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-04-27 14:59:45 +0200 | yin | (~yin@user/zero) |
| 2024-04-27 14:59:31 +0200 | yin | (~yin@user/zero) (Quit: Reconnecting) |
| 2024-04-27 14:48:10 +0200 | euleritian | (~euleritia@2a02:810a:b00:1568:f2da:fe29:fe06:1289) |
| 2024-04-27 14:47:48 +0200 | euleritian | (~euleritia@dynamic-176-000-161-190.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-27 14:36:47 +0200 | kilolympus | (~kilolympu@31.205.200.246) |
| 2024-04-27 14:36:35 +0200 | kilolympus | (~kilolympu@31.205.200.246) (Ping timeout: 245 seconds) |
| 2024-04-27 14:35:59 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-04-27 14:32:36 +0200 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2024-04-27 14:27:25 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:2128:605:71c4:66a4) |
| 2024-04-27 14:21:07 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-27 14:19:44 +0200 | euleritian | (~euleritia@dynamic-176-000-161-190.176.0.pool.telefonica.de) |
| 2024-04-27 14:19:00 +0200 | greenflower | (~greenflow@2409:4071:211c:5b29:fa93:6314:6e17:5d44) (Client Quit) |
| 2024-04-27 14:18:35 +0200 | euleritian | (~euleritia@2a02:810a:b00:1568:7f37:121d:4370:f1c5) (Ping timeout: 268 seconds) |
| 2024-04-27 14:17:49 +0200 | greenflower | (~greenflow@2409:4071:211c:5b29:fa93:6314:6e17:5d44) |
| 2024-04-27 14:14:01 +0200 | euleritian | (~euleritia@2a02:810a:b00:1568:7f37:121d:4370:f1c5) |
| 2024-04-27 14:13:44 +0200 | euleritian | (~euleritia@dynamic-176-000-161-190.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-27 14:11:37 +0200 | yin | (~yin@user/zero) |
| 2024-04-27 14:10:15 +0200 | yin | (~yin@user/zero) (Ping timeout: 268 seconds) |
| 2024-04-27 14:07:27 +0200 | mechap | (~mechap@user/mechap) |
| 2024-04-27 13:45:48 +0200 | qqq | (~qqq@92.43.167.61) |
| 2024-04-27 13:43:23 +0200 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
| 2024-04-27 13:40:07 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
| 2024-04-27 13:39:31 +0200 | swamp_ | (~zmt00@user/zmt00) |
| 2024-04-27 13:38:25 +0200 | zmt01 | (~zmt00@user/zmt00) |
| 2024-04-27 13:36:02 +0200 | hippoid | (~hippoid@user/hippoid) (Quit: WeeChat 4.2.1) |
| 2024-04-27 13:31:18 +0200 | dispater- | (~dispater@217.155.58.82) (Remote host closed the connection) |
| 2024-04-27 13:31:18 +0200 | orcus- | (~orcus@217.155.58.82) (Remote host closed the connection) |
| 2024-04-27 13:19:49 +0200 | dispater- | (~dispater@217.155.58.82) |
| 2024-04-27 13:18:48 +0200 | orcus- | (~orcus@217.155.58.82) |