Logs: liberachat/#haskell
| 2025-10-17 12:13:31 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2025-10-17 12:23:16 | × | trickard quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-10-17 12:26:06 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-10-17 12:26:06 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-10-17 12:26:07 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2025-10-17 12:26:09 | → | trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-17 12:26:31 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-10-17 12:26:47 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2025-10-17 12:26:51 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-10-17 12:30:16 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 246 seconds) |
| 2025-10-17 12:33:51 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 2025-10-17 12:41:40 | → | ft joins (~ft@p4fc2a207.dip0.t-ipconnect.de) |
| 2025-10-17 12:42:34 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 248 seconds) |
| 2025-10-17 12:42:43 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 2025-10-17 12:44:46 | × | trickard_ quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-17 12:44:59 | → | trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-17 12:57:23 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Read error: Connection reset by peer) |
| 2025-10-17 12:57:31 | → | comerijn joins (~merijn@77.242.116.146) |
| 2025-10-17 12:57:42 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-10-17 12:59:04 | → | Psychotic1 joins (~Psychotic@2600:1007:b032:c0d4:c18:bfd9:c413:f780) |
| 2025-10-17 12:59:50 | → | Psychotic1_ joins (~Psychotic@2600:1007:b032:c0d4:c18:bfd9:c413:f780) |
| 2025-10-17 13:01:24 | × | trickard_ quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-17 13:01:39 | → | trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-17 13:06:34 | × | trickard_ quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 248 seconds) |
| 2025-10-17 13:08:31 | → | xff0x joins (~xff0x@2405:6580:b080:900:d8fa:98a4:1ba0:2054) |
| 2025-10-17 13:08:58 | → | divlamir joins (~divlamir@user/divlamir) |
| 2025-10-17 13:11:41 | → | trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-17 13:17:40 | × | trickard_ quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-17 13:20:56 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-10-17 13:22:00 | → | trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-17 13:23:14 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 265 seconds) |
| 2025-10-17 13:26:22 | trickard_ | is now known as trickard |
| 2025-10-17 13:29:25 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2025-10-17 13:30:10 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-10-17 13:30:21 | × | opencircuit quits (~quassel@user/opencircuit) (Remote host closed the connection) |
| 2025-10-17 13:30:30 | → | opencircuit joins (~quassel@user/opencircuit) |
| 2025-10-17 13:31:36 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 272 seconds) |
| 2025-10-17 13:31:36 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds) |
| 2025-10-17 13:33:24 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-10-17 13:36:02 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 272 seconds) |
| 2025-10-17 13:37:33 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2025-10-17 13:43:00 | × | gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 272 seconds) |
| 2025-10-17 13:45:55 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-10-17 13:50:47 | × | Psychotic1_ quits (~Psychotic@2600:1007:b032:c0d4:c18:bfd9:c413:f780) (Ping timeout: 260 seconds) |
| 2025-10-17 13:50:47 | × | Psychotic1 quits (~Psychotic@2600:1007:b032:c0d4:c18:bfd9:c413:f780) (Ping timeout: 260 seconds) |
| 2025-10-17 13:51:00 | → | kimiamania99 joins (~92460e22@user/kimiamania) |
| 2025-10-17 13:53:13 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 246 seconds) |
| 2025-10-17 13:55:04 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 2025-10-17 13:59:06 | → | Zemy joins (~Zemy@76.184.190.146) |
| 2025-10-17 14:04:07 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 240 seconds) |
| 2025-10-17 14:06:01 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 2025-10-17 14:09:48 | × | Guest305 quits (jinsun@here.and.ready-to.party) (Changing host) |
| 2025-10-17 14:09:48 | → | Guest305 joins (jinsun@user/jinsun) |
| 2025-10-17 14:09:48 | Guest305 | is now known as jinsun |
| 2025-10-17 14:13:08 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.1) |
| 2025-10-17 14:15:20 | × | Zemy quits (~Zemy@76.184.190.146) (Ping timeout: 240 seconds) |
| 2025-10-17 14:21:46 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 248 seconds) |
| 2025-10-17 14:25:49 | → | gustrb joins (~gustrb@191.243.134.87) |
| 2025-10-17 14:38:15 | → | satler joins (~satler@user/satler) |
| 2025-10-17 14:39:38 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-10-17 14:42:23 | → | Inline joins (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) |
| 2025-10-17 14:43:00 | × | trickard quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-17 14:43:14 | → | trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-17 14:43:18 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
| 2025-10-17 14:43:39 | × | synchromesh quits (~john@2406:5a00:2412:2c00:cdb4:7a44:2b9b:14b0) (Read error: Connection reset by peer) |
| 2025-10-17 14:44:27 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 260 seconds) |
| 2025-10-17 14:45:07 | → | synchromesh joins (~john@2406:5a00:2412:2c00:cdb4:7a44:2b9b:14b0) |
| 2025-10-17 14:45:14 | → | gustrb joins (~gustrb@191.243.134.87) |
| 2025-10-17 14:50:31 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 240 seconds) |
| 2025-10-17 14:53:54 | × | satler quits (~satler@user/satler) (Quit: satler) |
| 2025-10-17 14:54:30 | → | tromp joins (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) |
| 2025-10-17 14:56:16 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 2025-10-17 15:00:32 | trickard_ | is now known as trickard |
| 2025-10-17 15:02:51 | → | MelodyOwO joins (~MelodyOwO@user/MelodyOwO) |
| 2025-10-17 15:06:01 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 246 seconds) |
| 2025-10-17 15:09:46 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 248 seconds) |
| 2025-10-17 15:14:58 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 2025-10-17 15:23:48 | → | OftenFaded81 joins (~OftenFade@user/tisktisk) |
| 2025-10-17 15:25:52 | × | OftenFaded81 quits (~OftenFade@user/tisktisk) (Client Quit) |
| 2025-10-17 15:32:06 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-10-17 15:37:55 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-10-17 15:38:18 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2025-10-17 15:42:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 15:43:12 | <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 15:43:55 | <ski> | (of course, can't fall back to another `case', either) |
| 2025-10-17 15:44:54 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-10-17 15:46:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-17 15:48:42 | × | AlexZenon quits (~alzenon@85.174.180.124) (Ping timeout: 248 seconds) |
| 2025-10-17 15:49:53 | × | tabaqui quits (~tabaqui@167.71.80.236) (Quit: WeeChat 4.7.1) |
| 2025-10-17 15:55:36 | → | AlexZenon joins (~alzenon@85.174.180.124) |
| 2025-10-17 15:57:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 15:57:42 | → | yabobay joins (~pizza@2a02:85f:fcd5:1601:439e:d9b3:6a5d:d567) |
| 2025-10-17 15:59:19 | <yabobay> | what was the 'opposite' of `pure` where you get, for example, Nothing when casting to Maybe |
| 2025-10-17 15:59:45 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-10-17 15:59:49 | × | Googulator quits (~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds) |
| 2025-10-17 16:01:27 | → | gustrb joins (~gustrb@191.243.134.87) |
| 2025-10-17 16:04:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-17 16:06:18 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 248 seconds) |
| 2025-10-17 16:07:29 | <ski> | huh ? |
| 2025-10-17 16:08:11 | × | MelodyOwO quits (~MelodyOwO@user/MelodyOwO) (Quit: Leaving.) |
All times are in UTC.