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) |
| 2026-04-08 18:11:59 | × | juri_ quits (~juri@212.86.60.92) (Ping timeout: 272 seconds) |
| 2026-04-08 18:12:52 | → | juri_ joins (~juri@217-114-215-140.pool.ovpn.com) |
| 2026-04-08 18:14:51 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) (Ping timeout: 255 seconds) |
| 2026-04-08 18:29:43 | × | qqq quits (~qqq@194.124.210.29) (Ping timeout: 264 seconds) |
| 2026-04-08 18:31:21 | → | qqq joins (~qqq@185.54.23.237) |
| 2026-04-08 18:43:15 | × | Dirk48 quits (~Dirk48@2a02:3100:89f6:c400:ee84:4a50:9d4c:364c) (Quit: Client closed) |
| 2026-04-08 18:44:12 | × | st_aldini quits (~Betterbir@2605:a601:a07c:7426:a9c5:df0c:3e0f:b451) (Quit: st_aldini) |
| 2026-04-08 18:45:04 | → | alter2000 joins (~alter2000@user/alter2000) |
| 2026-04-08 18:55:31 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-04-08 18:56:55 | → | divlamir_ joins (~divlamir@user/divlamir) |
| 2026-04-08 18:59:43 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 264 seconds) |
| 2026-04-08 18:59:43 | divlamir_ | is now known as divlamir |
| 2026-04-08 19:07:40 | → | Square2 joins (~Square4@user/square) |
| 2026-04-08 19:09:37 | × | Square3 quits (~Square@user/square) (Ping timeout: 272 seconds) |
| 2026-04-08 19:14:42 | → | divlamir_ joins (~divlamir@user/divlamir) |
| 2026-04-08 19:16:20 | × | sord937_ quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2026-04-08 19:17:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-08 19:17:20 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2026-04-08 19:17:51 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 255 seconds) |
| 2026-04-08 19:17:51 | divlamir_ | is now known as divlamir |
| 2026-04-08 19:20:23 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2026-04-08 19:22:14 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-08 19:22:15 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2026-04-08 19:24:27 | × | target_i quits (~target_i@user/target-i/x-6023099) (Ping timeout: 246 seconds) |
| 2026-04-08 19:25:42 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2026-04-08 19:27:11 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-04-08 19:33:07 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-08 19:38:06 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-08 19:38:06 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2026-04-08 19:39:46 | × | synchromesh quits (~john@2406:5a00:2412:2c00:8174:9ae9:efe0:c152) (Read error: Connection reset by peer) |
| 2026-04-08 19:40:58 | → | synchromesh joins (~john@2406:5a00:2412:2c00:8174:9ae9:efe0:c152) |
| 2026-04-08 19:48:53 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-08 19:55:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-08 19:56:02 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2026-04-08 19:56:16 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-04-08 19:59:09 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2026-04-08 19:59:45 | <EvanR> | gentauro, nice framework, very powerful (and so universal decidability of equivalences is out the window) |
| 2026-04-08 20:03:56 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-08 20:06:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-08 20:11:34 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-08 20:13:38 | × | Chai-T-Rex quits (~ChaiTRex@user/chaitrex) (Quit: Chai-T-Rex) |
| 2026-04-08 20:18:31 | × | jreicher quits (~joelr@user/jreicher) (Quit: In transit) |
| 2026-04-08 20:21:38 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 248 seconds) |
| 2026-04-08 20:22:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-08 20:27:41 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-08 20:28:17 | × | michalz quits (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2026-04-08 20:32:39 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-04-08 20:33:49 | × | srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2026-04-08 20:37:50 | → | emmanuelux_ joins (~em@2a02-8440-2506-0788-32cb-9733-4bb5-4804.rev.sfr.net) |
| 2026-04-08 20:38:10 | × | emmanuelux quits (~em@user/emmanuelux) (Ping timeout: 248 seconds) |
| 2026-04-08 20:38:53 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-04-08 20:43:30 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 248 seconds) |
| 2026-04-08 20:43:57 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-04-08 20:44:44 | × | emmanuelux_ quits (~em@2a02-8440-2506-0788-32cb-9733-4bb5-4804.rev.sfr.net) (Ping timeout: 252 seconds) |
| 2026-04-08 20:54:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-08 20:59:26 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-08 21:10:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
All times are in UTC.