Newest at the top
| 2025-01-21 06:01:13 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 245 seconds) |
| 2025-01-21 05:59:37 +0100 | felixphew | (~felixphew@cssa/life/felix) (so long for now :)) |
| 2025-01-21 05:56:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-21 05:55:29 +0100 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) (Ping timeout: 265 seconds) |
| 2025-01-21 05:54:46 +0100 | rekahsoft | (~rekahsoft@70.51.99.237) (Ping timeout: 244 seconds) |
| 2025-01-21 05:51:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-21 05:51:29 +0100 | <jle`> | but you'd still need the Kleisli newtyoe wrapper for EndoM |
| 2025-01-21 05:50:53 +0100 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) alecs |
| 2025-01-21 05:44:05 +0100 | forell | (~forell@user/forell) (Ping timeout: 248 seconds) |
| 2025-01-21 05:41:29 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2025-01-21 05:41:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-21 05:36:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-21 05:34:55 +0100 | tnt2 | tnt1 |
| 2025-01-21 05:34:55 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-01-21 05:34:02 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-21 05:30:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-21 05:27:27 +0100 | <monochrom> | Haha you are right, that's marvelous. |
| 2025-01-21 05:25:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-21 05:23:07 +0100 | philopsos | (~caecilius@user/philopsos) philopsos |
| 2025-01-21 05:22:08 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-21 05:22:08 +0100 | aforemny | (~aforemny@2001:9e8:6ce7:fd00:e796:ccd3:bb44:3a2f) (Ping timeout: 272 seconds) |
| 2025-01-21 05:20:27 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds) |
| 2025-01-21 05:20:22 +0100 | aforemny_ | (~aforemny@2001:9e8:6cc6:4600:1315:1249:75e2:82ec) aforemny |
| 2025-01-21 05:14:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-21 05:10:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-21 05:08:58 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-21 05:08:24 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-01-21 05:06:02 +0100 | <jle`> | s/hand/and |
| 2025-01-21 05:05:58 +0100 | <jle`> | ah yea hand then normal Endo is just Endo (->) |
| 2025-01-21 05:03:14 +0100 | <Leary> | jle`: `Endo` was a mistake. Fix it: `newtype Endo c a = Endo{ unEndo :: c a a }; instance Category c => Monoid (Endo c); type EndoM m = Endo (Kleisli m)` |
| 2025-01-21 04:59:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-21 04:54:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-21 04:50:52 +0100 | <jle`> | i guess i could use Endo and pre-=<< everything but |
| 2025-01-21 04:50:39 +0100 | <jle`> | is there a nice way to get "EndoM" from just base tools |
| 2025-01-21 04:43:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-21 04:36:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-21 04:33:47 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-21 04:26:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-21 04:21:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-21 04:15:49 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-21 04:14:10 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-21 04:10:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-21 04:06:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-21 03:55:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-21 03:55:05 +0100 | mange | (~user@user/mange) mange |
| 2025-01-21 03:50:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-21 03:49:31 +0100 | img | (~img@user/img) img |
| 2025-01-21 03:48:11 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-01-21 03:46:09 +0100 | ft | (~ft@p3e9bca18.dip0.t-ipconnect.de) ft |
| 2025-01-21 03:45:16 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |