Newest at the top
| 2025-01-07 11:25:15 +0100 | m5zs7k | (aquares@web10.mydevil.net) m5zs7k |
| 2025-01-07 11:24:03 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-01-07 11:23:49 +0100 | ephilalethes | (~noumenon@2001:f40:908:735:aa7e:eaff:fede:ff94) noumenon |
| 2025-01-07 11:19:34 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-01-07 11:18:53 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-01-07 11:18:52 +0100 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 252 seconds) |
| 2025-01-07 11:13:00 +0100 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 244 seconds) |
| 2025-01-07 11:10:55 +0100 | mari49021 | (~mari-este@user/mari-estel) mari-estel |
| 2025-01-07 11:08:21 +0100 | orangeFl1 | (~orangeFlu@wlan036187.wireless.utwente.nl) (Ping timeout: 244 seconds) |
| 2025-01-07 11:06:01 +0100 | longlongdouble | (~longlongd@49.36.234.44) |
| 2025-01-07 11:03:27 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:aa01:87f5:2ab2:56ea) ubert |
| 2025-01-07 10:59:45 +0100 | longlongdouble | (~longlongd@2405:201:5c16:894:74ec:348f:7a5d:1fda) (Ping timeout: 248 seconds) |
| 2025-01-07 10:56:16 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 272 seconds) |
| 2025-01-07 10:54:15 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-07 10:51:47 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-07 10:51:21 +0100 | <jackdk> | I'm about to head out so I can't give a detailed answer, but I think you're not getting any responses because it's not clear what your actual question is, who is capable of answering it, and how much effort doing so will take. https://github.com/system-f/lets-lens eventually gets to prism exercises. Optics By Example is a fantastic book, but it is paid. |
| 2025-01-07 10:51:17 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-07 10:42:18 +0100 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2025-01-07 10:39:16 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-01-07 10:38:43 +0100 | ubert | (~Thunderbi@p200300ecdf117c03858f82df0dc40dbe.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-07 10:38:23 +0100 | longlongdouble | (~longlongd@2405:201:5c16:894:74ec:348f:7a5d:1fda) |
| 2025-01-07 10:32:33 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-01-07 10:28:19 +0100 | sprotte24 | (~sprotte24@p200300d16f116c00e18de5f6dc64cbe3.dip0.t-ipconnect.de) (Client Quit) |
| 2025-01-07 10:28:19 +0100 | sprotte24 | (~sprotte24@p200300d16f116c00e18de5f6dc64cbe3.dip0.t-ipconnect.de) |
| 2025-01-07 10:26:44 +0100 | qqe | (~qqq@92.43.167.61) (Quit: Lost terminal) |
| 2025-01-07 10:25:16 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-01-07 10:23:53 +0100 | alecs | (~alecs@nat16.software.imdea.org) (Remote host closed the connection) |
| 2025-01-07 10:21:23 +0100 | homo | (~homo@user/homo) homo |
| 2025-01-07 10:20:59 +0100 | homo | (~homo@user/homo) (Remote host closed the connection) |
| 2025-01-07 10:20:46 +0100 | jespada | (~jespada@2800:a4:c5:2900:7896:24d4:be22:1827) jespada |
| 2025-01-07 10:15:39 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-07 10:08:20 +0100 | kmx | (~kmx@c-69-251-4-232.hsd1.md.comcast.net) (Quit: leaving) |
| 2025-01-07 10:05:16 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-07 10:04:35 +0100 | gorignak | (~gorignak@user/gorignak) (Ping timeout: 265 seconds) |
| 2025-01-07 10:01:39 +0100 | homo_ | homo |
| 2025-01-07 10:01:25 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-07 09:59:17 +0100 | <hellwolf> | *I had no understanding |
| 2025-01-07 09:59:08 +0100 | <hellwolf> | Does anyone have experiece with Prisms? |
| 2025-01-07 09:59:08 +0100 | <hellwolf> | I realized that I had understanding of what is Prisms. Now that I see it has two idiomatic functions "match" and "build". It got me thinking that I ought to understand it, since I am building otherwise an ad-hoc pattern-matching machinery. |
| 2025-01-07 09:56:26 +0100 | orangeFlu | (orangeFlu@gateway/vpn/protonvpn/orangeflu) (Ping timeout: 252 seconds) |
| 2025-01-07 09:55:30 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-01-07 09:52:42 +0100 | orangeFl1 | (~orangeFlu@wlan036187.wireless.utwente.nl) orangeFlu |
| 2025-01-07 09:51:43 +0100 | orangeFlu | (orangeFlu@gateway/vpn/protonvpn/orangeflu) orangeFlu |
| 2025-01-07 09:43:02 +0100 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2025-01-07 09:42:37 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-07 09:40:18 +0100 | l__k | (~student@85.172.76.45) (Ping timeout: 246 seconds) |
| 2025-01-07 09:39:03 +0100 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2025-01-07 09:37:17 +0100 | l_k | (~student@46.61.242.174) |
| 2025-01-07 09:36:45 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-07 09:27:35 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |