Newest at the top
2025-09-28 07:31:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-09-28 07:26:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-28 07:24:41 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
2025-09-28 07:24:29 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-28 07:15:43 +0200 | Googulator21 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
2025-09-28 07:15:42 +0200 | Googulator50 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-28 07:08:07 +0200 | Square | (~Square@user/square) (Ping timeout: 240 seconds) |
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 |