Newest at the top
| 2026-01-22 23:42:11 +0100 | <jackdk> | gentauro: There were a bunch of people who worked on it. I wasn't there for the history but Twan Van Laarhoven invented the `type Lens s a = forall f . Functor f => (a -> f a) -> s -> f s` form: https://www.twanvl.nl/blog/haskell/cps-functional-references . The type-changing form `Lens s t a b` came after someone (don't remember who) wrote a lens for `_1` without putting a type signature on it, and GHC inferred with a more general type. |
| 2026-01-22 23:41:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 23:41:38 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-01-22 23:38:50 +0100 | trickard_ | (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 2026-01-22 23:38:36 +0100 | trickard | (~trickard@cpe-93-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-22 23:34:45 +0100 | Tuplanolla | (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-01-22 23:31:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-22 23:26:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 23:21:46 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-01-22 23:15:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-22 23:14:02 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2026-01-22 23:10:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 23:06:49 +0100 | michalz_ | (~michalz@185.246.207.218) (Remote host closed the connection) |
| 2026-01-22 23:05:54 +0100 | rotcev | (~rotcev@user/rotcev) rotcev |
| 2026-01-22 23:04:25 +0100 | Googulator26 | (~Googulato@2a01-036d-0106-030a-8d41-f550-2a4f-1a91.pool6.digikabel.hu) |
| 2026-01-22 23:04:09 +0100 | Googulator26 | (~Googulato@2a01-036d-0106-030a-8d41-f550-2a4f-1a91.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-01-22 23:04:01 +0100 | shr\ke | (~shrike@user/shrke:31298) shr\ke |
| 2026-01-22 23:04:01 +0100 | shr\ke | (~shrike@user/paxhumana) (Changing host) |
| 2026-01-22 23:04:01 +0100 | shr\ke | (~shrike@user/paxhumana) paxhumana |
| 2026-01-22 23:03:53 +0100 | shr\ke | (~shrike@user/shrke:31298) (Read error: Connection reset by peer) |
| 2026-01-22 23:02:55 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 255 seconds) |
| 2026-01-22 22:59:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-22 22:58:24 +0100 | oskarw | (~user@user/oskarw) (Remote host closed the connection) |
| 2026-01-22 22:55:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 22:54:22 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2026-01-22 22:54:00 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Client Quit) |
| 2026-01-22 22:50:19 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-22 22:49:33 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2026-01-22 22:49:11 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Client Quit) |
| 2026-01-22 22:46:36 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2026-01-22 22:46:16 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Quit: fp) |
| 2026-01-22 22:43:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-22 22:37:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 22:34:21 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 252 seconds) |
| 2026-01-22 22:31:25 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-01-22 22:26:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-22 22:21:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 22:14:28 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2026-01-22 22:10:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-22 22:10:14 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2026-01-22 22:05:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 22:00:38 +0100 | foul_owl | (~kerry@94.156.149.99) foul_owl |
| 2026-01-22 21:55:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-22 21:49:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 21:48:00 +0100 | foul_owl | (~kerry@94.156.149.94) (Ping timeout: 256 seconds) |
| 2026-01-22 21:39:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-22 21:34:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 21:28:52 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-01-22 21:25:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-22 21:20:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |