Newest at the top
| 2025-09-28 07:04:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 07:00:47 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 06:59:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 06:55:41 +0200 | Googulator63 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 06:55:41 +0200 | Googulator50 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 06:48:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 06:47:12 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-28 06:41:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 06:37:47 +0200 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2025-09-28 06:35:40 +0200 | Googulator80 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 06:35:40 +0200 | Googulator63 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 06:30:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-28 06:26:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 06:25:43 +0200 | defragger | (~random@i5C742CDD.versanet.de) (Ping timeout: 240 seconds) |
| 2025-09-28 06:23:32 +0200 | <dcpagan> | Unnatural n = 'Just (n - 1) |
| 2025-09-28 06:23:30 +0200 | <dcpagan> | Unnatural 0 = 'Nothing |
| 2025-09-28 06:23:28 +0200 | <dcpagan> | type family Unnatural (n :: Natural) where |
| 2025-09-28 06:23:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 06:23:14 +0200 | <dcpagan> | Something like this? |
| 2025-09-28 06:23:09 +0200 | <dcpagan> | Is there a standard type-level way of unfixing that fixed point? |
| 2025-09-28 06:22:49 +0200 | <dcpagan> | For example, in the recursion-schemes package (https://hackage.haskell.org/package/recursion-schemes), an instance of a base functor for Natural was defined as Maybe, and Natural was an instance of the fixed point of Maybe. |
| 2025-09-28 06:21:47 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 06:20:40 +0200 | <dcpagan> | Is there a standard way to iterate over type-level natural numbers? |
| 2025-09-28 06:18:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 06:16:52 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-09-28 06:11:56 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 06:11:38 +0200 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2025-09-28 06:10:38 +0200 | Googulator80 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 06:10:25 +0200 | Googulator80 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 06:07:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 06:02:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 05:56:46 +0200 | aforemny | (~aforemny@i577B128D.versanet.de) (Ping timeout: 256 seconds) |
| 2025-09-28 05:55:31 +0200 | aforemny_ | (~aforemny@2001:9e8:6cfa:f400:257:422d:548f:72ea) aforemny |
| 2025-09-28 05:51:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-28 05:50:50 +0200 | Googulator80 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 05:50:42 +0200 | Googulator80 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 05:47:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 05:46:13 +0200 | <slondr> | indeed it did! now I can read and write to an IORef from within the library's invokation of the callback. this is awesome |
| 2025-09-28 05:45:42 +0200 | Googulator80 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 05:45:33 +0200 | Googulator80 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 05:37:59 +0200 | trickard_ | trickard |
| 2025-09-28 05:35:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 05:31:26 +0200 | <slondr> | Hey that may have worked |
| 2025-09-28 05:30:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 05:28:57 +0200 | xff0x | (~xff0x@2405:6580:b080:900:bd6b:8e9b:54f4:4d4b) |
| 2025-09-28 05:24:42 +0200 | Googulator80 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 05:24:24 +0200 | Googulator80 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 05:20:00 +0200 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) mrvdb |
| 2025-09-28 05:19:56 +0200 | _0xa | (~user@user/0xa/x-3134607) _0xa |
| 2025-09-28 05:19:56 +0200 | _0xa | (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) (Changing host) |