Newest at the top
| 2025-10-17 18:06:18 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 248 seconds) |
| 2025-10-17 18:04:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-17 18:01:27 +0200 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-17 17:59:49 +0200 | Googulator | (~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds) |
| 2025-10-17 17:59:45 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-10-17 17:59:19 +0200 | <yabobay> | what was the 'opposite' of `pure` where you get, for example, Nothing when casting to Maybe |
| 2025-10-17 17:57:42 +0200 | yabobay | (~pizza@2a02:85f:fcd5:1601:439e:d9b3:6a5d:d567) yabobay |
| 2025-10-17 17:57:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 17:55:36 +0200 | AlexZenon | (~alzenon@85.174.180.124) |
| 2025-10-17 17:49:53 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Quit: WeeChat 4.7.1) |
| 2025-10-17 17:48:42 +0200 | AlexZenon | (~alzenon@85.174.180.124) (Ping timeout: 248 seconds) |
| 2025-10-17 17:46:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-17 17:44:54 +0200 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-10-17 17:43:55 +0200 | <ski> | (of course, can't fall back to another `case', either) |
| 2025-10-17 17:43:12 +0200 | <ski> | [exa] : failure in `case' can't fall back to alternate defining clauses, if that's what you're thinking of. so, if there's only one defining equation, you should be fine |
| 2025-10-17 17:42:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 17:38:18 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2025-10-17 17:37:55 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-10-17 17:32:06 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-10-17 17:25:52 +0200 | OftenFaded81 | (~OftenFade@user/tisktisk) (Client Quit) |
| 2025-10-17 17:23:48 +0200 | OftenFaded81 | (~OftenFade@user/tisktisk) OftenFaded |
| 2025-10-17 17:14:58 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-17 17:09:46 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 248 seconds) |
| 2025-10-17 17:06:01 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 246 seconds) |
| 2025-10-17 17:02:51 +0200 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) MelodyOwO |
| 2025-10-17 17:00:32 +0200 | trickard_ | trickard |
| 2025-10-17 16:56:16 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-17 16:54:30 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) |
| 2025-10-17 16:53:54 +0200 | satler | (~satler@user/satler) (Quit: satler) |
| 2025-10-17 16:50:31 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 240 seconds) |
| 2025-10-17 16:45:14 +0200 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-17 16:45:07 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:cdb4:7a44:2b9b:14b0) synchromesh |
| 2025-10-17 16:44:27 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 260 seconds) |
| 2025-10-17 16:43:39 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:cdb4:7a44:2b9b:14b0) (Read error: Connection reset by peer) |
| 2025-10-17 16:43:18 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
| 2025-10-17 16:43:14 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-17 16:43:00 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-17 16:42:23 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-17 16:39:38 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-10-17 16:38:15 +0200 | satler | (~satler@user/satler) satler |
| 2025-10-17 16:25:49 +0200 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-17 16:21:46 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 248 seconds) |
| 2025-10-17 16:15:20 +0200 | Zemy | (~Zemy@76.184.190.146) (Ping timeout: 240 seconds) |
| 2025-10-17 16:13:08 +0200 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.1) |
| 2025-10-17 16:09:48 +0200 | Guest305 | jinsun |
| 2025-10-17 16:09:48 +0200 | Guest305 | (jinsun@user/jinsun) jinsun |
| 2025-10-17 16:09:48 +0200 | Guest305 | (jinsun@here.and.ready-to.party) (Changing host) |
| 2025-10-17 16:06:01 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-17 16:04:07 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 240 seconds) |
| 2025-10-17 15:59:06 +0200 | Zemy | (~Zemy@76.184.190.146) |