Newest at the top
| 2025-10-27 08:52:15 +0100 | Core9010 | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-10-27 08:52:15 +0100 | Zemy | (~Zemy@2600:100c:b044:cd19:b0a4:62ff:febe:5454) |
| 2025-10-27 08:50:43 +0100 | Googulator93 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 08:50:39 +0100 | Googulator88 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 08:49:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 08:46:11 +0100 | <haskellbridge> | <loonycyborg> And existentials is when you have that type variable at RHS and don't have it at LHS in the data declaration. So the type of data doesn't depent on type of thing contained within. It's a different extension. |
| 2025-10-27 08:44:27 +0100 | <haskellbridge> | <loonycyborg> Adding constraint via datatype is strictly part of GADT extension |
| 2025-10-27 08:40:24 +0100 | Typosit | (b41a81e702@2001:bc8:1210:2cd8::494) |
| 2025-10-27 08:38:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-27 08:37:58 +0100 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) m1dnight |
| 2025-10-27 08:37:33 +0100 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) (Remote host closed the connection) |
| 2025-10-27 08:35:55 +0100 | <haskellbridge> | <loonycyborg> You can't force constraints to be automatically applied to data's variable using haskell 98. It expects you to always spell out constraints in all functions using that datatype. |
| 2025-10-27 08:35:11 +0100 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-27 08:35:02 +0100 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 240 seconds) |
| 2025-10-27 08:33:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 08:33:31 +0100 | img | (~img@user/img) img |
| 2025-10-27 08:32:07 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-10-27 08:31:41 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-10-27 08:31:25 +0100 | olivial | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2025-10-27 08:29:30 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-10-27 08:22:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-27 08:18:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 08:15:47 +0100 | Googulator96 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 08:15:38 +0100 | Googulator88 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 08:12:21 +0100 | tromp | (~textual@2001:1c00:3487:1b00:b825:23c0:1f89:fdbd) |
| 2025-10-27 08:09:37 +0100 | Square2 | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2025-10-27 08:07:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-27 08:04:36 +0100 | Square2 | (~Square@user/square) Square |
| 2025-10-27 08:04:13 +0100 | Square | (~Square4@user/square) Square |
| 2025-10-27 08:04:12 +0100 | Square2 | (~Square@user/square) (Remote host closed the connection) |
| 2025-10-27 08:02:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 08:00:48 +0100 | diddy | (~user@user/pranshu) diddy |
| 2025-10-27 07:59:02 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2025-10-27 07:58:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-27 07:53:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 07:50:46 +0100 | Googulator96 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 07:50:41 +0100 | Googulator15 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 07:45:03 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-10-27 07:42:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-27 07:42:08 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds) |
| 2025-10-27 07:35:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 07:24:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-27 07:20:40 +0100 | Googulator15 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 07:20:39 +0100 | Googulator26 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 07:20:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 07:08:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-27 07:08:25 +0100 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-10-27 07:07:59 +0100 | rvalue | (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 2025-10-27 07:04:46 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-10-27 07:04:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |