Newest at the top
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) |
2025-01-21 03:44:30 +0100 | ft | (~ft@p508db21c.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
2025-01-21 03:35:53 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2025-01-21 03:35:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2025-01-21 03:32:28 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
2025-01-21 03:27:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-21 03:23:26 +0100 | alx741 | (~alx741@186.33.188.229) (Ping timeout: 252 seconds) |
2025-01-21 03:17:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2025-01-21 03:15:49 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-01-21 03:12:38 +0100 | img | (~img@user/img) img |
2025-01-21 03:12:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-21 03:11:19 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-01-21 03:04:54 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2025-01-21 03:00:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2025-01-21 03:00:48 +0100 | homo | (~homo@user/homo) (Read error: Connection reset by peer) |
2025-01-21 02:58:24 +0100 | omegatron | (~some@user/omegatron) (Quit: Power is a curious thing. It can be contained, hidden, locked away, and yet it always breaks free.) |
2025-01-21 02:57:33 +0100 | img | (~img@user/img) img |
2025-01-21 02:56:14 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-01-21 02:54:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-21 02:44:10 +0100 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) sp1ff |
2025-01-21 02:43:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2025-01-21 02:39:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |