Newest at the top
| 2025-02-13 22:13:41 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-13 22:10:34 +0100 | Googulator22 | (~Googulato@2a01-036d-0106-4074-cd73-2dd1-ecb5-ce7e.pool6.digikabel.hu) |
| 2025-02-13 22:10:19 +0100 | Googulator22 | (~Googulato@2a01-036d-0106-4074-cd73-2dd1-ecb5-ce7e.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-02-13 22:08:23 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-02-13 22:06:09 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-13 22:04:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-13 22:03:04 +0100 | <euouae> | yeah that's what I did |
| 2025-02-13 22:02:30 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds) |
| 2025-02-13 22:02:15 +0100 | <monochrom> | TBH why not "n"? Even easier to type than "N". |
| 2025-02-13 22:00:06 +0100 | <euouae> | it would be nice if one could temporarily enter a qualified namespace but anyway |
| 2025-02-13 21:59:46 +0100 | <euouae> | yeah I had to do something like where node = Data.Tree.Node etc |
| 2025-02-13 21:59:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 21:59:11 +0100 | <ncf> | constructors start with capitals |
| 2025-02-13 21:57:48 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-02-13 21:57:36 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-13 21:56:08 +0100 | <euouae> | hm, it seems like the issue is that it won't accept the capital letter |
| 2025-02-13 21:54:56 +0100 | <euouae> | oh wait, this is a top level binding, ditch the `let`. still I get this error |
| 2025-02-13 21:53:21 +0100 | <euouae> | It's complaining about a parse error. How is `where` used? Is this a wrong use? |
| 2025-02-13 21:53:06 +0100 | <euouae> | where N = Tree.Node |
| 2025-02-13 21:53:06 +0100 | <euouae> | Hello why can't I do something like let opticsTree = N "Lens" [N "Fold" [], N "Traversal" []] |
| 2025-02-13 21:52:58 +0100 | euouae | (~euouae@user/euouae) euouae |
| 2025-02-13 21:49:20 +0100 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2025-02-13 21:48:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-13 21:47:56 +0100 | simon1 | (~simon@24-122-69-233.resi.cgocable.ca) |
| 2025-02-13 21:47:17 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2025-02-13 21:44:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 21:42:47 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2025-02-13 21:41:54 +0100 | simon1 | (~simon@24-122-69-233.resi.cgocable.ca) (Ping timeout: 260 seconds) |
| 2025-02-13 21:35:57 +0100 | yegorc | (~yegorc@user/yegorc) (Ping timeout: 276 seconds) |
| 2025-02-13 21:33:30 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
| 2025-02-13 21:33:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-13 21:31:26 +0100 | mikoto | (~mikoto@2001-14ba-a0a9-f200--190.rev.dnainternet.fi) (Quit: WeeChat 4.4.2) |
| 2025-02-13 21:30:07 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-13 21:29:50 +0100 | sixfourtwelve | (~ethanmorg@82.18.82.103) sixfourtwelve |
| 2025-02-13 21:28:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 21:28:20 +0100 | simon1 | (~simon@24-122-69-233.resi.cgocable.ca) |
| 2025-02-13 21:27:29 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-13 21:25:16 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-13 21:22:18 +0100 | simon1 | (~simon@24-122-69-233.resi.cgocable.ca) (Ping timeout: 276 seconds) |
| 2025-02-13 21:20:08 +0100 | jespada | (~jespada@2800:a4:22e6:3600:71ba:df87:40f2:38c8) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-02-13 21:18:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-13 21:17:21 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-02-13 21:16:23 +0100 | mikoto | (~mikoto@2001-14ba-a0a9-f200--190.rev.dnainternet.fi) |
| 2025-02-13 21:15:49 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-02-13 21:13:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 21:08:11 +0100 | simon1 | (~simon@24-122-69-233.resi.cgocable.ca) |
| 2025-02-13 21:05:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-13 21:02:09 +0100 | simon1 | (~simon@24-122-69-233.resi.cgocable.ca) (Ping timeout: 276 seconds) |
| 2025-02-13 21:00:42 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-02-13 21:00:02 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |