Logs: liberachat/#haskell
| 2025-08-20 16:31:14 | trickard_ | is now known as trickard |
| 2025-08-20 16:41:19 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 2025-08-20 16:41:49 | → | rvalue joins (~rvalue@about/hackers/rvalue) |
| 2025-08-20 16:43:08 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-20 16:43:34 | × | tromp quits (~textual@2001:1c00:3487:1b00:9c04:acc7:66ee:fca9) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-20 16:45:03 | → | ft joins (~ft@p508db5fa.dip0.t-ipconnect.de) |
| 2025-08-20 16:45:15 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-08-20 16:49:15 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-08-20 16:49:47 | × | jbalint quits (~jbalint@2600:6c44:117f:e98a:40bb:52ad:62b8:5122) (Server closed connection) |
| 2025-08-20 16:50:00 | → | jbalint joins (~jbalint@2600:6c44:117f:e98a:40bb:52ad:62b8:5122) |
| 2025-08-20 16:53:21 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-08-20 16:55:15 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-08-20 16:55:37 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-20 16:56:14 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Max SendQ exceeded) |
| 2025-08-20 16:57:18 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Client Quit) |
| 2025-08-20 16:59:35 | → | rvalue joins (~rvalue@about/hackers/rvalue) |
| 2025-08-20 17:00:38 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-08-20 17:03:22 | gAy_Dragon | is now known as Awoobis |
| 2025-08-20 17:04:15 | Awoobis | is now known as gAy_Dragon |
| 2025-08-20 17:05:18 | × | trickard quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-20 17:05:32 | → | trickard_ joins (~trickard@cpe-58-98-47-163.wireline.com.au) |
| 2025-08-20 17:07:51 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-08-20 17:12:51 | × | kuribas quits (~user@2a02:1810:2825:6000:476:199e:ba1d:96e) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2025-08-20 17:30:06 | → | tromp joins (~textual@2001:1c00:3487:1b00:9c04:acc7:66ee:fca9) |
| 2025-08-20 17:31:51 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-08-20 17:37:56 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2025-08-20 17:40:42 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-08-20 17:42:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-20 17:44:04 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2025-08-20 17:50:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-08-20 17:55:36 | × | hughjfchen quits (~hughjfche@vmi2417424.contaboserver.net) (Server closed connection) |
| 2025-08-20 17:56:00 | → | hughjfchen joins (~hughjfche@vmi2417424.contaboserver.net) |
| 2025-08-20 17:57:37 | × | Square2 quits (~Square@user/square) (Ping timeout: 260 seconds) |
| 2025-08-20 17:58:24 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2025-08-20 17:58:39 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-08-20 17:58:54 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-08-20 18:00:12 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2025-08-20 18:01:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-20 18:01:44 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-08-20 18:04:52 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-08-20 18:05:23 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-20 18:09:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-20 18:12:20 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-20 18:13:23 | × | fgarcia quits (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
| 2025-08-20 18:14:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-20 18:15:22 | → | fgarcia joins (~lei@user/fgarcia) |
| 2025-08-20 18:16:47 | × | trickard_ quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-20 18:17:00 | → | trickard_ joins (~trickard@cpe-58-98-47-163.wireline.com.au) |
| 2025-08-20 18:24:11 | trickard_ | is now known as trickard |
| 2025-08-20 18:24:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-20 18:25:15 | × | Angelz quits (Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) (Changing host) |
| 2025-08-20 18:25:15 | → | Angelz joins (Angelz@user/angelz) |
| 2025-08-20 18:29:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-20 18:32:50 | <[exa]> | is there any methodologica aplroach that would allow people to somehow easily add variable scoping rules into parsers? (e.g., the output of such "improved" parsing would be able to tell that uses of same-named local variable in different functions are indeed using a different identifier and may be renamed independently) |
| 2025-08-20 18:33:10 | <[exa]> | *methodological approach |
| 2025-08-20 18:40:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-20 18:44:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-20 18:45:20 | → | rvalue- joins (~rvalue@about/hackers/rvalue) |
| 2025-08-20 18:45:27 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2025-08-20 18:46:09 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Ping timeout: 252 seconds) |
| 2025-08-20 18:48:52 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2025-08-20 18:50:26 | × | tromp quits (~textual@2001:1c00:3487:1b00:9c04:acc7:66ee:fca9) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-20 18:51:00 | rvalue- | is now known as rvalue |
| 2025-08-20 18:55:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-20 18:58:33 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-08-20 18:59:08 | → | tromp joins (~textual@2001:1c00:3487:1b00:9c04:acc7:66ee:fca9) |
| 2025-08-20 19:00:02 | × | caconym747 quits (~caconym@user/caconym) (Quit: bye) |
| 2025-08-20 19:00:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-20 19:00:42 | → | caconym747 joins (~caconym@user/caconym) |
| 2025-08-20 19:01:24 | → | todi joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 2025-08-20 19:10:16 | → | halloy5804 joins (~halloy580@90-231-239-72-no600.tbcn.telia.com) |
| 2025-08-20 19:11:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-20 19:12:25 | × | halloy5804 quits (~halloy580@90-231-239-72-no600.tbcn.telia.com) (Client Quit) |
| 2025-08-20 19:14:54 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-08-20 19:15:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-20 19:26:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-20 19:33:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-20 19:39:57 | → | sprotte24 joins (~sprotte24@p200300d16f4b9400fd84056b8dbc8704.dip0.t-ipconnect.de) |
| 2025-08-20 19:44:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-20 19:48:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-20 19:53:10 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-08-20 19:55:57 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-08-20 19:55:57 | ljdarj1 | is now known as ljdarj |
| 2025-08-20 19:59:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-20 20:02:28 | → | pavonia joins (~user@user/siracusa) |
| 2025-08-20 20:04:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-20 20:09:37 | × | tccq quits (~user@user/tccq) (Remote host closed the connection) |
| 2025-08-20 20:10:04 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2025-08-20 20:11:11 | → | tccq joins (~user@user/tccq) |
| 2025-08-20 20:11:28 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2025-08-20 20:13:14 | → | iqubic joins (~sophia@2601:602:9203:1660:929:f8da:d640:9c10) |
| 2025-08-20 20:15:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-20 20:17:25 | × | Igloo quits (~ian@81.2.99.210) (Ping timeout: 248 seconds) |
| 2025-08-20 20:17:37 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-08-20 20:17:40 | → | Igloo joins (~ian@45.130.105.72) |
| 2025-08-20 20:20:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-20 20:21:48 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2025-08-20 20:26:23 | × | Igloo quits (~ian@45.130.105.72) (Ping timeout: 256 seconds) |
| 2025-08-20 20:26:47 | × | forell quits (~forell@user/forell) (Server closed connection) |
| 2025-08-20 20:27:35 | → | forell joins (~forell@user/forell) |
All times are in UTC.