Newest at the top
| 2025-03-30 22:52:03 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-03-30 22:47:28 +0200 | bollu | (~bollu@131.111.5.201) (Client Quit) |
| 2025-03-30 22:46:24 +0200 | bollu | (~bollu@131.111.5.201) |
| 2025-03-30 22:41:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-30 22:39:56 +0200 | alp | (~alp@2001:861:8ca0:4940:375d:8d24:38e7:d983) (Ping timeout: 268 seconds) |
| 2025-03-30 22:30:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-30 22:30:22 +0200 | jacopovalanzano | (~jacopoval@77.68.7.50) (Quit: Client closed) |
| 2025-03-30 22:26:28 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-03-30 22:12:21 +0200 | polyphem | (~rod@p4fc2c911.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-03-30 22:10:13 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-30 22:07:45 +0200 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2025-03-30 22:07:19 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 2025-03-30 22:01:24 +0200 | toby-bro | (~toby-bro@user/toby-bro) toby-bro |
| 2025-03-30 22:00:20 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2025-03-30 21:56:38 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-03-30 21:50:45 +0200 | dhil | (~dhil@2a0c:b381:52e:3600:f60a:b849:d84:6d29) (Ping timeout: 248 seconds) |
| 2025-03-30 21:50:30 +0200 | Guest63 | (~Guest63@2806:106e:19:554e:9a5e:8bfa:fdb:c9c8) (Ping timeout: 240 seconds) |
| 2025-03-30 21:50:10 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-03-30 21:48:32 +0200 | <haskellbridge> | <Bowuigi> Just apply the Iso backwards |
| 2025-03-30 21:47:36 +0200 | fp | (~Thunderbi@87-94-142-103.rev.dnainternet.fi) fp |
| 2025-03-30 21:46:52 +0200 | alp | (~alp@2001:861:8ca0:4940:375d:8d24:38e7:d983) |
| 2025-03-30 21:30:16 +0200 | Guest63 | (~Guest63@2806:106e:19:554e:9a5e:8bfa:fdb:c9c8) |
| 2025-03-30 21:19:57 +0200 | rvalue- | rvalue |
| 2025-03-30 21:17:29 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
| 2025-03-30 21:12:18 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2025-03-30 21:11:22 +0200 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-03-30 21:02:13 +0200 | fp | (~Thunderbi@130.233.55.67) (Ping timeout: 248 seconds) |
| 2025-03-30 21:01:41 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-03-30 21:01:37 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 2025-03-30 21:01:27 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-30 21:00:49 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2025-03-30 21:00:07 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-03-30 20:59:43 +0200 | <haskellbridge> | <thirdofmay18081814goya> or in general, is there a pattern consisting of propagating the changes to an "Iso" to the original datatype? |
| 2025-03-30 20:55:54 +0200 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-03-30 20:47:51 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-03-30 20:47:49 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds) |
| 2025-03-30 20:45:05 +0200 | fp1 | fp |
| 2025-03-30 20:45:05 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 248 seconds) |
| 2025-03-30 20:44:13 +0200 | fp1 | (~Thunderbi@130.233.55.67) fp |
| 2025-03-30 20:43:09 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-03-30 20:41:20 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-03-30 20:40:53 +0200 | fp1 | fp |
| 2025-03-30 20:40:53 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 248 seconds) |
| 2025-03-30 20:39:43 +0200 | fp1 | (~Thunderbi@2001:708:150:10::1d80) fp |
| 2025-03-30 20:34:35 +0200 | nek0 | (~nek0@user/nek0) nek0 |
| 2025-03-30 20:30:51 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 2025-03-30 20:24:32 +0200 | dhil | (~dhil@2a0c:b381:52e:3600:f60a:b849:d84:6d29) dhil |
| 2025-03-30 20:19:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-30 20:16:05 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-03-30 20:09:02 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |