Anqur

- I'm quite sorry that I haven't read the code thoroughly yet, but I did try to `Print...` the page and noticed that no Portrait/Landscape setting was found and there...

- Here is my legacy demo page that could illustrate my `Print...` ideas... * https://anqurvanillapy.github.io/gmhp/ (try `Layout: Landscape` selected)

Oh no, my code seems not to work at all. Really hope `@lexer::members` could bring some actual contextual features. 😢 My original response Thanks to Go's structural interfaces, you could...

Well, here's a dirtier trick, but it works now: * Notice that we could add any new methods to the lexer, from the `@lexer::header`, and the field `Interpreter` is an...

Well why this is closed without any reply. I don't actually want the `guregu/null` feature, but the absence of `--guregu` still leaves the import there in the output. Could this...

TBH this project is crazy as hell. Many rockets for you.

Typecheck ok gives 🐮🍺, and qutting REPL gives 🍵.

> May I know is there a reason that you remove the row polymorphism? `narc-rs` is the language that implements core features from Agda, and [voile-rs](https://github.com/owo-lang/voile-rs) is the one that...

> I think I caused a merge conflict for you, but I've tried to fix it with the above merge commit. Ahhhhh thanks sooo much!

LdBeth good good