| 2024-07-04 00:03:15 +0200 | emm | (~emm@user/edmeme) (Ping timeout: 264 seconds) |
| 2024-07-04 00:03:40 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-04 00:06:29 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb75b55b5e6c7fe4efd7.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2024-07-04 00:10:30 +0200 | Joao[3] | (~Joao003@190.108.99.178) (Quit: Bye!) |
| 2024-07-04 00:12:41 +0200 | cpressey | (~weechat@33b62f0c.skybroadband.com) |
| 2024-07-04 00:13:55 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-07-04 00:14:04 +0200 | tomku|two | (~tomku@syn-141-126-184-057.res.spectrum.com) |
| 2024-07-04 00:16:03 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-07-04 00:31:38 +0200 | Deide_ | (~Deide@2a02:8012:9a16:0:4c08:821b:77ed:ba2f) |
| 2024-07-04 00:31:49 +0200 | bilegeek | (~bilegeek@2600:1008:b046:1f36:33d1:a30b:fb6a:feac) |
| 2024-07-04 00:34:24 +0200 | Deide | (d0130db69a@user/deide) (Killed (NickServ (GHOST command used by Deide_!~Deide@2a02:8012:9a16:0:4c08:821b:77ed:ba2f))) |
| 2024-07-04 00:34:28 +0200 | Deide_ | Deide |
| 2024-07-04 00:34:34 +0200 | Deide | (~Deide@2a02:8012:9a16:0:4c08:821b:77ed:ba2f) (Changing host) |
| 2024-07-04 00:34:34 +0200 | Deide | (~Deide@user/deide) |
| 2024-07-04 00:38:34 +0200 | <jle`> | it's not a valid kind but it's not a super useful one |
| 2024-07-04 00:38:57 +0200 | <jle`> | compared to kinds that are purely ADT's and Nat/Symbol |
| 2024-07-04 00:39:12 +0200 | <jle`> | oh they left |
| 2024-07-04 00:46:21 +0200 | cpressey | (~weechat@33b62f0c.skybroadband.com) (Quit: WeeChat 4.3.0) |
| 2024-07-04 00:49:23 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2024-07-04 01:04:57 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-07-04 01:08:49 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 268 seconds) |
| 2024-07-04 01:13:03 +0200 | pavonia | (~user@user/siracusa) |
| 2024-07-04 01:36:49 +0200 | Deide | (~Deide@user/deide) (Quit: Seeee yaaaa) |
| 2024-07-04 02:25:53 +0200 | dysthesis | (~dysthesis@user/dysthesis) |
| 2024-07-04 02:31:27 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2024-07-04 02:33:13 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) (Quit: oo_miguel) |
| 2024-07-04 02:33:29 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) |
| 2024-07-04 02:41:34 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 246 seconds) |
| 2024-07-04 02:44:26 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-07-04 02:46:30 +0200 | <Pozyomka> | Since Haskell has a type class for representable functors... Is there a way to talk about representable natural transformations as well? (A natural transformation “p : F -> G” between Set-valued functors is representable if, given another natural transformation “q : H -> G” whose source H is representable, the pullback “F x_G H” is again representable. Shouldn't work too differently if |
| 2024-07-04 02:46:31 +0200 | <Pozyomka> | we replace Set with Hask, right?) |
| 2024-07-04 02:53:01 +0200 | xff0x | (~xff0x@2405:6580:b080:900:2e:65df:725b:2a62) (Ping timeout: 272 seconds) |
| 2024-07-04 03:08:27 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) |
| 2024-07-04 03:11:43 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 260 seconds) |
| 2024-07-04 03:18:59 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) |
| 2024-07-04 03:29:26 +0200 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-07-04 03:30:54 +0200 | dolio | (~dolio@130.44.134.54) |
| 2024-07-04 03:33:55 +0200 | dolio | (~dolio@130.44.134.54) (Client Quit) |
| 2024-07-04 03:39:05 +0200 | dolio | (~dolio@130.44.134.54) |
| 2024-07-04 03:53:09 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:68bb:1b5c:be42:a832) |
| 2024-07-04 04:12:07 +0200 | dysthesi1 | (~dysthesis@user/dysthesis) |
| 2024-07-04 04:12:33 +0200 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |