Newest at the top
| 2025-03-18 12:44:00 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 2025-03-18 12:38:46 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-18 12:38:18 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 2025-03-18 12:33:04 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-18 12:32:01 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2025-03-18 12:28:54 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-18 12:28:15 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-03-18 12:28:06 +0100 | xff0x | (~xff0x@2405:6580:b080:900:b08c:1e92:87c1:3f68) |
| 2025-03-18 12:23:51 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-18 12:16:22 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-18 12:13:43 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-03-18 12:12:22 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-18 12:12:04 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-03-18 12:02:49 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-03-18 12:02:23 +0100 | kh0d | (~kh0d@109.111.226.14) kh0d |
| 2025-03-18 12:02:11 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-03-18 12:00:05 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-03-18 11:58:49 +0100 | kh0d | (~kh0d@109.111.226.14) (Ping timeout: 260 seconds) |
| 2025-03-18 11:57:40 +0100 | <merijn> | mauke: I'll have a look :) I always quite liked Ghosts of Departed Proofs too |
| 2025-03-18 11:56:39 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-03-18 11:47:55 +0100 | kh0d | (~kh0d@109.111.226.14) |
| 2025-03-18 11:47:11 +0100 | ljdarj1 | ljdarj |
| 2025-03-18 11:47:11 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-03-18 11:44:02 +0100 | ash3en | (~Thunderbi@149.222.132.64) (Read error: Connection reset by peer) |
| 2025-03-18 11:44:02 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-18 11:42:36 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-18 11:42:16 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-03-18 11:40:24 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3507-7a57-f54b-3cee-8f5a-99cb.rev.sfr.net) alexherbo2 |
| 2025-03-18 11:38:31 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-18 11:32:54 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 268 seconds) |
| 2025-03-18 11:32:17 +0100 | kh0d | (~kh0d@109.111.226.14) (Remote host closed the connection) |
| 2025-03-18 11:32:11 +0100 | kh0d | (~kh0d@109.111.226.14) kh0d |
| 2025-03-18 11:31:44 +0100 | kh0d | (~kh0d@109.111.226.14) (Remote host closed the connection) |
| 2025-03-18 11:31:00 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-03-18 11:28:54 +0100 | alp | (~alp@2001:861:8ca0:4940:ee1f:fdc:72ba:d779) |
| 2025-03-18 11:26:19 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-18 11:25:01 +0100 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2025-03-18 11:20:36 +0100 | <dminuoso> | I mean given what Im doing this is more a theoretical discussion |
| 2025-03-18 11:20:15 +0100 | <dminuoso> | That would be sufficient for my usecase actually |
| 2025-03-18 11:19:46 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-03-18 11:14:24 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) |
| 2025-03-18 11:14:04 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-03-18 11:08:17 +0100 | Leary | (~Leary@user/Leary/x-0910699) (Ping timeout: 248 seconds) |
| 2025-03-18 11:04:15 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:4780:d0f0:79b4:9ac) ubert |
| 2025-03-18 11:01:13 +0100 | <c_wraith> | So... Who knows if it's sufficient |
| 2025-03-18 11:01:02 +0100 | <c_wraith> | But if you do that, you lose the ErrorAnnotation instance |
| 2025-03-18 11:00:39 +0100 | <c_wraith> | You could use Typeable to see if the type matches the top level type constructor, ignoring the argument. |
| 2025-03-18 10:58:53 +0100 | <c_wraith> | I guess the Exception class is a little more sophisticated. You just need to be able to write a SomeException -> e function |
| 2025-03-18 10:45:44 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-18 10:45:36 +0100 | poscat | (~poscat@user/poscat) poscat |