Newest at the top
| 2025-03-31 09:56:38 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-31 09:51:29 +0200 | <EvanR> | you mean f = Identity ? |
| 2025-03-31 09:50:29 +0200 | <hellwolf> | what is it? |
| 2025-03-31 09:50:27 +0200 | <hellwolf> | What if there is no functor instance: forall p. Profunctor p => p a b -> p s t |
| 2025-03-31 09:50:01 +0200 | <hellwolf> | This is Iso: type Iso s t a b = forall p f. (Profunctor p, Functor f) => p a (f b) -> p s (f t) |
| 2025-03-31 09:50:01 +0200 | <hellwolf> | Question about Lens |
| 2025-03-31 09:43:46 +0200 | rit | (~rit@2409:40e0:101e:3313:4dd3:5aa1:e851:e0f) |
| 2025-03-31 09:43:04 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-03-31 09:42:05 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-03-31 09:37:51 +0200 | boobs_ | XZDX |
| 2025-03-31 09:37:38 +0200 | XZDX | boobs_ |
| 2025-03-31 09:34:57 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-03-31 09:32:36 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-03-31 09:31:57 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-03-31 09:31:52 +0200 | chele | (~chele@user/chele) chele |
| 2025-03-31 09:20:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-31 09:18:34 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-03-31 09:18:12 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 264 seconds) |
| 2025-03-31 09:17:21 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-03-31 09:16:55 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2025-03-31 09:15:59 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-03-31 09:15:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-31 09:04:04 +0200 | divya | (divya@140.238.251.170) divya |
| 2025-03-31 09:03:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-31 09:01:21 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2025-03-31 09:00:59 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f6101a7bfc96b38a12d.dip0.t-ipconnect.de) acidjnk |
| 2025-03-31 09:00:05 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-03-31 08:59:58 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-03-31 08:59:22 +0200 | tromp | (~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545) |
| 2025-03-31 08:59:20 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-03-31 08:59:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-31 08:57:11 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-03-31 08:57:09 +0200 | divya | (divya@140.238.251.170) (Ping timeout: 276 seconds) |
| 2025-03-31 08:50:54 +0200 | ft | (~ft@p508db463.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-03-31 08:48:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-31 08:42:10 +0200 | forell | (~forell@user/forell) forell |
| 2025-03-31 08:40:20 +0200 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 2025-03-31 08:35:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-03-31 08:17:35 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-03-31 07:52:19 +0200 | fp | (~Thunderbi@87-94-142-103.rev.dnainternet.fi) (Ping timeout: 260 seconds) |
| 2025-03-31 07:52:13 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-31 07:48:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-31 07:48:00 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-03-31 07:41:55 +0200 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
| 2025-03-31 07:37:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-31 07:37:24 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-03-31 07:32:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-31 07:20:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-31 07:11:01 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-03-31 06:41:34 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 260 seconds) |