Logs: liberachat/#haskell
| 2025-09-11 22:43:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 22:44:38 | × | karenw_ quits (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-09-11 22:45:19 | <monochrom> | Tangentially, Python has this if-then-else syntax: "expr1 if cond else expr0", it's like C's "cond ? expr1 : expr0". Python doesn't allow cond itself to be another "e1 if c else e0" for simplicity, but I don't see why not, so in my course I gave a parser assignment that included it. |
| 2025-09-11 22:46:12 | × | sprotte24_ quits (~sprotte24@p5dd5d928.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2025-09-11 22:46:20 | → | segfaultfizzbuzz joins (~segfaultf@c-73-202-118-116.hsd1.ca.comcast.net) |
| 2025-09-11 22:47:31 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-11 22:47:33 | → | sprotte24_ joins (~sprotte24@p5dd5d928.dip0.t-ipconnect.de) |
| 2025-09-11 22:48:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-11 22:48:54 | <monochrom> | I also allowed expr0 to be its own if-else. (But not expr1, unless parenthesized.) So, overall, there is simple solution: Imagine the "if cond else" chunk as a right-associating infix operator! It's just chainr1 ifelse expr. |
| 2025-09-11 22:48:59 | → | sprotte24___ joins (~sprotte24@p5dd5d928.dip0.t-ipconnect.de) |
| 2025-09-11 22:52:11 | × | sprotte24_ quits (~sprotte24@p5dd5d928.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2025-09-11 22:52:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 22:57:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-11 22:58:17 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 2025-09-11 23:09:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 23:11:55 | × | xff0x quits (~xff0x@2405:6580:b080:900:4d35:2673:a36a:250b) (Ping timeout: 248 seconds) |
| 2025-09-11 23:14:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-11 23:15:20 | × | acidjnk quits (~acidjnk@p200300d6e7171926a81168b3bd2506b7.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-09-11 23:19:19 | → | xff0x joins (~xff0x@2405:6580:b080:900:4d35:2673:a36a:250b) |
| 2025-09-11 23:23:14 | → | mange joins (~mange@user/mange) |
| 2025-09-11 23:25:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 23:26:00 | × | sprotte24___ quits (~sprotte24@p5dd5d928.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-09-11 23:29:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-09-11 23:34:20 | × | Googulator quits (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-11 23:34:32 | → | Googulator joins (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
| 2025-09-11 23:40:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 23:43:06 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2025-09-11 23:43:44 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-11 23:47:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-11 23:51:07 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 250 seconds) |
| 2025-09-11 23:58:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-12 00:02:00 | trickard_ | is now known as trickard |
| 2025-09-12 00:02:24 | × | potatoe quits (~potatoe@157-131-120-242.fiber.dynamic.sonic.net) (Read error: Connection reset by peer) |
| 2025-09-12 00:04:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-12 00:07:48 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-09-12 00:10:52 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 256 seconds) |
| 2025-09-12 00:14:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-12 00:16:17 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 244 seconds) |
| 2025-09-12 00:17:59 | × | segfaultfizzbuzz quits (~segfaultf@c-73-202-118-116.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2025-09-12 00:19:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-12 00:19:59 | → | segfaultfizzbuzz joins (~segfaultf@c-73-202-118-116.hsd1.ca.comcast.net) |
| 2025-09-12 00:20:00 | × | otto_s quits (~user@p5de2f433.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-09-12 00:20:38 | → | itaipu joins (~itaipu@168.121.97.28) |
| 2025-09-12 00:21:33 | → | otto_s joins (~user@p4ff27276.dip0.t-ipconnect.de) |
| 2025-09-12 00:22:30 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-12 00:23:05 | × | tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2025-09-12 00:26:57 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds) |
| 2025-09-12 00:30:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-12 00:35:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-12 00:38:14 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-09-12 00:46:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-12 00:47:30 | → | rvalue- joins (~rvalue@about/hackers/rvalue) |
| 2025-09-12 00:47:53 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-09-12 00:48:16 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Ping timeout: 256 seconds) |
| 2025-09-12 00:49:11 | → | califax joins (~califax@user/califx) |
| 2025-09-12 00:51:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-12 00:56:47 | rvalue- | is now known as rvalue |
| 2025-09-12 01:00:17 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2025-09-12 01:00:37 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2025-09-12 01:00:45 | × | xff0x quits (~xff0x@2405:6580:b080:900:4d35:2673:a36a:250b) (Ping timeout: 245 seconds) |
| 2025-09-12 01:02:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-12 01:06:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-12 01:10:33 | → | qqe joins (~qqq@185.54.23.136) |
| 2025-09-12 01:17:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-12 01:22:38 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 2025-09-12 01:24:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-12 01:32:03 | × | segfaultfizzbuzz quits (~segfaultf@c-73-202-118-116.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2025-09-12 01:35:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-12 01:38:34 | × | Googulator quits (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-12 01:38:45 | → | Googulator joins (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
| 2025-09-12 01:40:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-09-12 01:49:52 | → | segfaultfizzbuzz joins (~segfaultf@c-73-202-118-116.hsd1.ca.comcast.net) |
| 2025-09-12 01:51:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-12 01:56:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-12 02:02:51 | × | segfaultfizzbuzz quits (~segfaultf@c-73-202-118-116.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2025-09-12 02:06:48 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-09-12 02:07:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-12 02:08:12 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2025-09-12 02:08:30 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2025-09-12 02:12:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-12 02:16:17 | → | segfaultfizzbuzz joins (~segfaultf@c-73-202-118-116.hsd1.ca.comcast.net) |
| 2025-09-12 02:19:32 | → | Square3 joins (~Square4@user/square) |
| 2025-09-12 02:23:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-12 02:26:18 | × | segfaultfizzbuzz quits (~segfaultf@c-73-202-118-116.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2025-09-12 02:28:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-12 02:31:14 | → | segfaultfizzbuzz joins (~segfaultf@c-73-202-118-116.hsd1.ca.comcast.net) |
| 2025-09-12 02:35:32 | × | puke quits (~puke@user/puke) (Quit: puke) |
| 2025-09-12 02:36:18 | × | segfaultfizzbuzz quits (~segfaultf@c-73-202-118-116.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 2025-09-12 02:36:51 | → | puke joins (~puke@user/puke) |
| 2025-09-12 02:39:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-12 02:43:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-12 02:48:47 | → | fgarcia joins (~lei@user/fgarcia) |
| 2025-09-12 02:50:28 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-09-12 02:54:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-12 03:01:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-12 03:09:40 | → | Axma48954 joins (~Axman6@user/axman6) |
| 2025-09-12 03:10:32 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-12 03:10:40 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-09-12 03:11:33 | × | Axman6 quits (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 2025-09-12 03:12:38 | <Square3> | When i do 'cabal repl somepackageA' and the issue a ':load some/ModuleB.hs', all modules in somepackageA goes missing |
All times are in UTC.