Logs: liberachat/#haskell
| 2025-10-08 20:04:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-08 20:05:33 | × | Googulator quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 20:05:38 | → | Googulator96 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 20:06:10 | <haskellbridge> | <Morj> Anyone in this chat going to the eurorust conference tomorrow? |
| 2025-10-08 20:06:44 | <haskellbridge> | <Morj> I know it's not the right language, but still |
| 2025-10-08 20:08:24 | × | Beowulf quits (florian@2a01:4f9:3b:2d56::2) (Quit: = "") |
| 2025-10-08 20:09:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-08 20:15:23 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-10-08 20:15:28 | → | Beowulf joins (florian@2a01:4f9:3b:2d56::2) |
| 2025-10-08 20:15:35 | → | acarrico joins (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) |
| 2025-10-08 20:18:19 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 250 seconds) |
| 2025-10-08 20:20:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-08 20:21:17 | → | peterbecich joins (~Thunderbi@syn-172-222-148-214.res.spectrum.com) |
| 2025-10-08 20:21:40 | <monochrom> | In type applications, the syntax "[] @ Int" is rejected, it has to be "[] @Int". :( |
| 2025-10-08 20:22:36 | <monochrom> | My real use case is Proxy @MyType |
| 2025-10-08 20:22:39 | <haskellbridge> | <Morj> I think it's a good thing, to disambiguate from a user-defined type operator |
| 2025-10-08 20:23:31 | <haskellbridge> | <Morj> Same for # in names, overloaded labels and an operator by itself |
| 2025-10-08 20:23:53 | <haskellbridge> | <Morj> That there is an overload may be a bad thing, but it can't be changed already, so |
| 2025-10-08 20:24:44 | × | synchromesh quits (~john@2406:5a00:2412:2c00:59f4:ea7:a30f:8ab4) (Read error: Connection reset by peer) |
| 2025-10-08 20:24:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-08 20:26:14 | → | synchromesh joins (~john@2406:5a00:2412:2c00:59f4:ea7:a30f:8ab4) |
| 2025-10-08 20:30:34 | × | Googulator96 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 20:30:38 | → | Googulator85 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 20:34:49 | × | peterbecich quits (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2025-10-08 20:35:40 | × | Googulator85 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 20:35:46 | → | Googulator90 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 20:35:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-08 20:36:47 | trickard_ | is now known as trickard |
| 2025-10-08 20:40:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-08 20:46:48 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 2025-10-08 20:49:04 | × | connrs quits (~connrs@user/connrs) (Remote host closed the connection) |
| 2025-10-08 20:49:12 | → | connrs joins (~connrs@user/connrs) |
| 2025-10-08 20:51:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-08 20:56:52 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-10-08 20:58:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-08 20:59:03 | × | bitdex_ quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-10-08 20:59:23 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-10-08 21:00:38 | → | Googulator69 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 21:00:38 | × | Googulator90 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 21:06:31 | × | killy quits (~killy@terminal-3-187.retsat1.com.pl) (Ping timeout: 240 seconds) |
| 2025-10-08 21:09:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-08 21:11:15 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2025-10-08 21:12:53 | → | kimiamania99 joins (~92460e22@user/kimiamania) |
| 2025-10-08 21:13:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-08 21:15:36 | <haskellbridge> | <geekosaur> They did at least make it consistent in 9.x |
| 2025-10-08 21:16:41 | <haskellbridge> | <geekosaur> Before that #, !, @, etc. each had its own rules |
| 2025-10-08 21:20:35 | × | Googulator69 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 21:20:47 | → | Googulator69 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 21:22:34 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-10-08 21:22:55 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-10-08 21:24:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-08 21:28:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-08 21:32:56 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-10-08 21:33:22 | → | weary-traveler joins (~user@user/user363627) |
| 2025-10-08 21:34:00 | × | michalz quits (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2025-10-08 21:36:26 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Remote host closed the connection) |
| 2025-10-08 21:37:26 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-10-08 21:39:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-08 21:44:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-08 21:45:40 | → | Googulator72 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 21:45:40 | × | Googulator69 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 21:52:56 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-10-08 21:55:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-08 22:00:05 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-08 22:05:36 | × | Googulator72 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 22:05:39 | → | Googulator46 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 22:10:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-08 22:13:46 | → | pavonia joins (~user@user/siracusa) |
| 2025-10-08 22:15:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-08 22:22:47 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-10-08 22:26:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-08 22:33:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-08 22:34:22 | × | trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-08 22:34:35 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-08 22:38:09 | × | tamer quits (~tamer@5.2.74.82) (Changing host) |
| 2025-10-08 22:38:09 | → | tamer joins (~tamer@user/tamer) |
| 2025-10-08 22:39:04 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-10-08 22:41:28 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-10-08 22:41:28 | ljdarj1 | is now known as ljdarj |
| 2025-10-08 22:43:01 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-10-08 22:44:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-08 22:48:55 | × | Tuplanolla quits (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 240 seconds) |
| 2025-10-08 22:49:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-08 22:53:28 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 2025-10-08 22:54:19 | × | tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2025-10-08 22:54:35 | → | tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2025-10-08 22:59:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-08 23:04:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-08 23:06:07 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 2025-10-08 23:09:24 | × | craunts7953 quits (~craunts@136.158.7.194) (Read error: Connection reset by peer) |
| 2025-10-08 23:10:11 | → | craunts7953 joins (~craunts@136.158.7.194) |
| 2025-10-08 23:10:40 | × | Googulator46 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 23:10:41 | → | Googulator10 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 23:10:43 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-10-08 23:15:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-08 23:16:13 | × | trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-10-08 23:16:31 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-08 23:17:23 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-10-08 23:18:50 | × | synchromesh quits (~john@2406:5a00:2412:2c00:59f4:ea7:a30f:8ab4) (Read error: Connection reset by peer) |
| 2025-10-08 23:18:54 | → | synchrom1 joins (~john@2406:5a00:2412:2c00:e4b7:8b05:274:cb16) |
All times are in UTC.