Newest at the top
| 2025-02-13 23:06:57 +0100 | Square | (~Square@user/square) (Ping timeout: 276 seconds) |
| 2025-02-13 23:05:58 +0100 | justsome1 | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 2025-02-13 23:05:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-13 23:03:50 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-02-13 23:03:44 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-13 23:00:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 22:54:37 +0100 | sixfourtwelve | (~ethanmorg@82.18.82.103) (Quit: leaving) |
| 2025-02-13 22:52:35 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-02-13 22:49:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-13 22:49:06 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-13 22:48:58 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-02-13 22:47:29 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds) |
| 2025-02-13 22:47:04 +0100 | JamesMowery | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2025-02-13 22:46:33 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-02-13 22:45:36 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-13 22:45:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 22:38:02 +0100 | <EvanR> | man that convention is so good... when it is followed universally in context |
| 2025-02-13 22:37:37 +0100 | <EvanR> | double take, I thought N was supposed to be a constructor xD |
| 2025-02-13 22:34:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-13 22:29:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 22:28:48 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds) |
| 2025-02-13 22:26:36 +0100 | euouae | (~euouae@user/euouae) (Remote host closed the connection) |
| 2025-02-13 22:26:07 +0100 | justsome1 | (~justsomeg@user/justsomeguy) justsomeguy |
| 2025-02-13 22:23:56 +0100 | Googulator22 | (~Googulato@2a01-036d-0106-4074-cd73-2dd1-ecb5-ce7e.pool6.digikabel.hu) |
| 2025-02-13 22:23:43 +0100 | Googulator22 | (~Googulato@2a01-036d-0106-4074-cd73-2dd1-ecb5-ce7e.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-02-13 22:19:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-13 22:18:10 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-13 22:16:06 +0100 | <monochrom> | Another option you may like one day is pattern synonyms. But IIRC it has to be top level. |
| 2025-02-13 22:15:39 +0100 | yegorc | (~yegorc@user/yegorc) yegorc |
| 2025-02-13 22:14:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 22:14:21 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) justsomeguy |
| 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 |