Logs: liberachat/#haskell
| 2026-04-08 16:35:40 | → | qqq joins (~qqq@194.124.210.29) |
| 2026-04-08 16:39:06 | × | Guest95 quits (~Guest62@p200300ca8f150300cb59ac8b4a97ad67.dip0.t-ipconnect.de) (Quit: Client closed) |
| 2026-04-08 16:46:56 | → | malte joins (~malte@mal.tc) |
| 2026-04-08 17:07:38 | × | srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2026-04-08 17:13:12 | <gentauro> | c_wraith: I'm assuming that if they use the built-in operator `+` (which is commutative) well then it would be "the same". However, this will only work for very formal languages … |
| 2026-04-08 17:26:43 | → | jle` joins (~jle`@2603:8001:3b00:11:2d70:9f38:ba84:72d9) |
| 2026-04-08 17:27:33 | → | internatetional joins (~nate@180.243.3.227) |
| 2026-04-08 17:28:36 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 2026-04-08 17:28:59 | × | internatetional quits (~nate@180.243.3.227) (Client Quit) |
| 2026-04-08 17:30:36 | <gentauro> | oh found it, IFCP 2016 (JP). Now we just add a bit of HoTT to find the equivalent paths and all good -> https://youtu.be/caSOTjr1z18?t=796 (13:16 ish) |
| 2026-04-08 17:36:28 | → | st_aldini joins (~Betterbir@2605:a601:a07c:7426:a9c5:df0c:3e0f:b451) |
| 2026-04-08 17:39:51 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2026-04-08 17:41:55 | → | ft joins (~ft@p508db341.dip0.t-ipconnect.de) |
| 2026-04-08 17:44:30 | → | mngr_jia joins (~Username@2001:fd8:2746:575:79b7:eb57:cd2a:6b84) |
| 2026-04-08 17:44:32 | mngr_jia | hi, you want to earn huge money without any investments? check if legit.. https://tinyurl.com/4vhpsdkt |
| 2026-04-08 17:44:41 | mngr_jia | hi, you want to earn huge money without any investments? check if legit.. https://tinyurl.com/4vhpsdkt |
| 2026-04-08 17:44:49 | ← | mngr_jia parts (~Username@2001:fd8:2746:575:79b7:eb57:cd2a:6b84) (Closing Window) |
| 2026-04-08 17:55:56 | → | srazkvt joins (~sarah@user/srazkvt) |
| 2026-04-08 18:01:39 | → | Dirk48 joins (~Dirk48@2a02:3100:89f6:c400:ee84:4a50:9d4c:364c) |
| 2026-04-08 18:04:38 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 265 seconds) |
| 2026-04-08 18:04:55 | × | juri_ quits (~juri@217-114-215-140.pool.ovpn.com) (Ping timeout: 276 seconds) |
| 2026-04-08 18:05:05 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2026-04-08 18:06:24 | → | juri_ joins (~juri@212.86.60.92) |
| 2026-04-08 18:08:06 | × | m quits (~travltux@user/travltux) (Quit: WeeChat 4.7.2) |
| 2026-04-08 18:09:17 | → | m joins (~travltux@user/travltux) |
All times are in UTC.