Newest at the top
| 2025-01-21 06:57:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-21 06:55:37 +0100 | michalz | (~michalz@185.246.207.201) |
| 2025-01-21 06:52:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-21 06:52:30 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-01-21 06:50:36 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2025-01-21 06:48:33 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 2025-01-21 06:45:22 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Ping timeout: 248 seconds) |
| 2025-01-21 06:44:04 +0100 | ft | (~ft@p3e9bca18.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-01-21 06:41:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-21 06:39:30 +0100 | tnt2 | tnt1 |
| 2025-01-21 06:39:30 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-01-21 06:39:27 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-21 06:37:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-21 06:30:41 +0100 | alp | (~alp@2001:861:8ca0:4940:eea0:f0c9:6:c921) (Remote host closed the connection) |
| 2025-01-21 06:29:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-21 06:22:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-21 06:15:05 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-01-21 06:12:54 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-01-21 06:11:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-21 06:07:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 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)` |