| 2025-01-21 00:02:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-21 00:05:23 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 245 seconds) |
| 2025-01-21 00:06:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-21 00:08:08 +0100 | xff0x | (~xff0x@2405:6580:b080:900:89d7:1b64:1ef9:ca1d) (Quit: xff0x) |
| 2025-01-21 00:10:10 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-21 00:11:50 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-21 00:14:26 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-01-21 00:16:39 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-01-21 00:17:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-21 00:18:13 +0100 | Everything | (~Everythin@195.138.86.118) (Quit: leaving) |
| 2025-01-21 00:22:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-21 00:33:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-21 00:33:33 +0100 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Ping timeout: 276 seconds) |
| 2025-01-21 00:37:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-21 00:48:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-21 00:50:31 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 252 seconds) |
| 2025-01-21 00:52:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-21 00:57:11 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-21 01:00:16 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-01-21 01:00:16 +0100 | ljdarj1 | ljdarj |
| 2025-01-21 01:04:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-21 01:06:29 +0100 | xff0x | (~xff0x@2405:6580:b080:900:2ed2:5690:67:1f0d) |
| 2025-01-21 01:08:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-21 01:14:35 +0100 | red-snail | (~red-snail@static.151.210.203.116.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-01-21 01:15:49 +0100 | red-snail | (~red-snail@static.151.210.203.116.clients.your-server.de) red-snail |
| 2025-01-21 01:19:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-21 01:19:41 +0100 | felixphew | (~felixphew@cssa/life/felix) felixphew |
| 2025-01-21 01:21:12 +0100 | acidjnk | (~acidjnk@p200300d6e7283f8095cc0997f421f19c.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-01-21 01:25:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-21 01:27:11 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-21 01:37:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-21 01:39:17 +0100 | mange | (~user@user/mange) (Ping timeout: 252 seconds) |
| 2025-01-21 01:39:40 +0100 | sprotte24 | (~sprotte24@p200300d16f08390080f981bd603eb58d.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-21 01:39:50 +0100 | akegalj | (~akegalj@89-172-182-73.adsl.net.t-com.hr) (Ping timeout: 244 seconds) |
| 2025-01-21 01:41:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-21 01:48:53 +0100 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2025-01-21 01:49:24 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 2025-01-21 01:49:58 +0100 | xff0x | (~xff0x@2405:6580:b080:900:2ed2:5690:67:1f0d) (Ping timeout: 272 seconds) |
| 2025-01-21 01:52:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-21 01:54:09 +0100 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2025-01-21 01:57:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-21 02:02:49 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-01-21 02:08:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-21 02:12:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-21 02:15:07 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-21 02:23:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-21 02:28:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-21 02:28:26 +0100 | otto_s | (~user@p5b044ca8.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-21 02:30:06 +0100 | otto_s | (~user@p5de2f474.dip0.t-ipconnect.de) |
| 2025-01-21 02:34:45 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-01-21 02:38:34 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-21 02:39:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-21 02:43:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-21 02:44:10 +0100 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) sp1ff |
| 2025-01-21 02:54:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-21 02:56:14 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-01-21 02:57:33 +0100 | img | (~img@user/img) img |
| 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 03:00:48 +0100 | homo | (~homo@user/homo) (Read error: Connection reset by peer) |
| 2025-01-21 03:00:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-21 03:04:54 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-21 03:11:19 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-01-21 03:12:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-21 03:12:38 +0100 | img | (~img@user/img) img |
| 2025-01-21 03:15:49 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-01-21 03:17:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-21 03:23:26 +0100 | alx741 | (~alx741@186.33.188.229) (Ping timeout: 252 seconds) |
| 2025-01-21 03:27:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-21 03:32:28 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2025-01-21 03:35:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (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:44:30 +0100 | ft | (~ft@p508db21c.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2025-01-21 03:45:16 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-21 03:46:09 +0100 | ft | (~ft@p3e9bca18.dip0.t-ipconnect.de) ft |
| 2025-01-21 03:48:11 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-01-21 03:49:31 +0100 | img | (~img@user/img) img |
| 2025-01-21 03:50:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-21 03:55:05 +0100 | mange | (~user@user/mange) mange |
| 2025-01-21 03:55:12 +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 04:10:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-21 04:14:10 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-21 04:15:49 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-21 04:21:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-21 04:26:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-21 04:33:47 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-21 04:36:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-21 04:43:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-21 04:50:39 +0100 | <jle`> | is there a nice way to get "EndoM" from just base tools |
| 2025-01-21 04:50:52 +0100 | <jle`> | i guess i could use Endo and pre-=<< everything but |
| 2025-01-21 04:54:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-21 04:59:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 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 05:05:58 +0100 | <jle`> | ah yea hand then normal Endo is just Endo (->) |
| 2025-01-21 05:06:02 +0100 | <jle`> | s/hand/and |
| 2025-01-21 05:08:24 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-01-21 05:08:58 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-21 05:10:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-21 05:14:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |