Newest at the top
| 2024-12-23 10:04:01 +0100 | <Guest33> | instance Functor (Cont r) |
| 2024-12-23 10:03:39 +0100 | <Guest33> | type Cont r a = (a -> r) -> r |
| 2024-12-23 10:02:57 +0100 | <Guest33> | Assume you can type it properly: |
| 2024-12-23 10:02:42 +0100 | <Guest33> | Hi, is there a way to produce a native cont monad with just function arrows? |
| 2024-12-23 10:02:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-23 10:02:09 +0100 | Guest33 | (~Guest33@2001:1600:13:101::60e) |
| 2024-12-23 10:00:29 +0100 | tnt2 | tnt1 |
| 2024-12-23 10:00:29 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2024-12-23 09:59:31 +0100 | dsrt^ | (~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 252 seconds) |
| 2024-12-23 09:59:09 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-23 09:57:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 09:54:48 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f25e9e9d221c37061e3.dip0.t-ipconnect.de) acidjnk |
| 2024-12-23 09:46:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-23 09:43:04 +0100 | hc | (~hc@mail.hce.li) (Remote host closed the connection) |
| 2024-12-23 09:39:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 09:38:45 +0100 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-12-23 09:29:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-23 09:24:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 09:13:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-23 09:09:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 09:08:39 +0100 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 260 seconds) |
| 2024-12-23 09:08:33 +0100 | bheesham | (3aa22d8375@2a03:6000:1812:100::e40) bheesham |
| 2024-12-23 09:07:47 +0100 | mari73685 | (~mari-este@user/mari-estel) (Client Quit) |
| 2024-12-23 09:05:39 +0100 | mari73685 | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-23 09:05:27 +0100 | mari54408 | (~mari-este@user/mari-estel) (Ping timeout: 265 seconds) |
| 2024-12-23 09:04:38 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-12-23 09:02:59 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-23 09:00:38 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-12-23 09:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-12-23 08:59:50 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-23 08:58:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-23 08:53:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 08:53:05 +0100 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 260 seconds) |
| 2024-12-23 08:52:20 +0100 | flupe25 | (~flupe@2a01:e0a:e2:2f10:3319:e177:2674:ea8f) (Client Quit) |
| 2024-12-23 08:51:20 +0100 | flupe25 | (~flupe@2a01:e0a:e2:2f10:3319:e177:2674:ea8f) |
| 2024-12-23 08:50:15 +0100 | mari54408 | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-23 08:49:01 +0100 | mari95597 | (~mari-este@user/mari-estel) (Ping timeout: 265 seconds) |
| 2024-12-23 08:46:36 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-23 08:43:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-23 08:40:54 +0100 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 246 seconds) |
| 2024-12-23 08:38:58 +0100 | mari95597 | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-23 08:38:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 08:37:04 +0100 | tnt2 | tnt1 |
| 2024-12-23 08:34:47 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-23 08:34:41 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 2024-12-23 08:30:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-12-23 08:30:20 +0100 | tnt2 | tnt1 |
| 2024-12-23 08:30:20 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 260 seconds) |
| 2024-12-23 08:29:27 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-23 08:29:00 +0100 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) |