| 2025-02-10 00:01:07 +0100 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale |
| 2025-02-10 00:04:25 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-10 00:07:36 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-02-10 00:07:36 +0100 | ljdarj1 | ljdarj |
| 2025-02-10 00:09:29 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-10 00:12:00 +0100 | xff0x | (~xff0x@2405:6580:b080:900:a75:2366:4e5c:4ce9) (Ping timeout: 246 seconds) |
| 2025-02-10 00:13:10 +0100 | xff0x | (~xff0x@2405:6580:b080:900:f1ee:cf4b:ec98:147a) |
| 2025-02-10 00:13:48 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-10 00:16:00 +0100 | xff0x | (~xff0x@2405:6580:b080:900:f1ee:cf4b:ec98:147a) (Client Quit) |
| 2025-02-10 00:18:55 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Remote host closed the connection) |
| 2025-02-10 00:28:37 +0100 | xff0x | (~xff0x@2405:6580:b080:900:f597:997a:28cf:fd48) |
| 2025-02-10 00:32:48 +0100 | robertm | (robertm@lattice.rojoma.com) (Quit: WeeChat 3.8) |
| 2025-02-10 00:35:15 +0100 | robertm | (robertm@lattice.rojoma.com) robertm |
| 2025-02-10 00:55:17 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-151.cust.tzulo.com) Jeanne-Kamikaze |
| 2025-02-10 00:57:54 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-10 01:00:30 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2025-02-10 01:00:55 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2025-02-10 01:01:11 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Read error: Connection reset by peer) |
| 2025-02-10 01:02:03 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-02-10 01:02:17 +0100 | zaz | (~zaz@195.89.33.222) |
| 2025-02-10 01:04:36 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2025-02-10 01:12:36 +0100 | xff0x_ | (~xff0x@2405:6580:b080:900:37f4:5b69:766f:630) |
| 2025-02-10 01:15:04 +0100 | xff0x | (~xff0x@2405:6580:b080:900:f597:997a:28cf:fd48) (Ping timeout: 265 seconds) |
| 2025-02-10 01:16:57 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Remote host closed the connection) |
| 2025-02-10 01:17:57 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 2025-02-10 01:19:04 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-10 01:20:24 +0100 | img | (~img@user/img) img |
| 2025-02-10 01:24:49 +0100 | otbergsten | (~otbergste@user/otbergsten) (Remote host closed the connection) |
| 2025-02-10 01:24:58 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
| 2025-02-10 01:25:01 +0100 | zaz | Zaz_ |
| 2025-02-10 01:31:34 +0100 | xff0x_ | (~xff0x@2405:6580:b080:900:37f4:5b69:766f:630) (Ping timeout: 268 seconds) |
| 2025-02-10 01:31:35 +0100 | xff0x | (~xff0x@2405:6580:b080:900:7b94:8fe8:c4af:8544) |
| 2025-02-10 01:34:17 +0100 | <Zaz_> | ncf Thanks a lot! Am I correct in thinking that it would be bijective if the codomain was the pair of strings where the first character of the second string is not lower case? Is this something that can be modelled in Haskell? E.g. with refined? |
| 2025-02-10 01:34:18 +0100 | <Zaz_> | Are you referring to Control.Lens.Iso? Is there any reason not to work with lenses? Or are they the best tool we have for implementing bijective programs? |
| 2025-02-10 01:36:57 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-10 01:39:49 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-02-10 01:39:49 +0100 | ljdarj1 | ljdarj |
| 2025-02-10 01:42:46 +0100 | causal | (~eric@50.35.84.231) causal |
| 2025-02-10 01:46:59 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-10 01:48:57 +0100 | xff0x | (~xff0x@2405:6580:b080:900:7b94:8fe8:c4af:8544) (Ping timeout: 252 seconds) |
| 2025-02-10 01:50:15 +0100 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2025-02-10 01:51:13 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-02-10 01:56:47 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2025-02-10 01:58:07 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-151.cust.tzulo.com) (Quit: Leaving) |
| 2025-02-10 02:01:47 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2025-02-10 02:03:59 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-02-10 02:07:24 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 2025-02-10 02:10:19 +0100 | Googulator | (~Googulato@2a01-036d-0106-4074-758c-12a1-cbb4-05eb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-02-10 02:12:13 +0100 | sprotte24 | (~sprotte24@p200300d16f25850039a3b2714e26a8e3.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-02-10 02:15:01 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f26c4dbaee3a15423f1.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-02-10 02:18:56 +0100 | zenstoic | (uid461840@id-461840.hampstead.irccloud.com) zenstoic |
| 2025-02-10 02:19:07 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-10 02:23:40 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2025-02-10 02:27:31 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |