Newest at the top
| 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) |
| 2025-02-13 20:58:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 20:55:24 +0100 | zungi | (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 2025-02-13 20:47:02 +0100 | simon1 | (~simon@24-122-69-233.resi.cgocable.ca) |
| 2025-02-13 20:46:06 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-02-13 20:45:54 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 244 seconds) |
| 2025-02-13 20:41:52 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-02-13 20:41:25 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2025-02-13 20:41:05 +0100 | simon1 | (~simon@24-122-69-233.resi.cgocable.ca) (Ping timeout: 248 seconds) |
| 2025-02-13 20:39:43 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-02-13 20:38:24 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 2025-02-13 20:37:12 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-13 20:30:08 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-02-13 20:28:06 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-02-13 20:27:51 +0100 | yegorc | (~yegorc@user/yegorc) yegorc |
| 2025-02-13 20:25:36 +0100 | simon1 | (~simon@24-122-69-233.resi.cgocable.ca) |
| 2025-02-13 20:21:43 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |