Lingdong Huang

Hi there, Good suggestion! I'm thinking about doing that for the online IDE, perhaps as a toggle-able mode. But of course, as minexo79 mentioned, some re-writing needs to take place....

@ZhenxingXiao Sounds like an appealing idea! There is already a nice [VS code plugin](https://github.com/antfu/wenyan-lang-vscode) by @antfu , perhaps we could reach out to them to see if it would be...

Hi @kaiyuan01 , Thanks for the PR. However, a couple of things: - You are missing a `」` at the end of`蓋謂「「吾嘗觀「甲」之書。方悟「乙」「丙」「丁」之義」。`. That is one of the reasons why it...

- Second issue is not fixed yet, will look into it - I maintain the opinion in my third point Thanks!

Hi, sorry for the delay, the issue of inability to use macros for import statements has been fixed in my newest commit 55d288581783c183b0a40caeb662bf6757302022. However there is one more problem with...

> I resent the fact that our communications are in english at all when we're all Chinese. Please do feel free to use Chinese! Many commenters are already doing that...

Hi @UltimatePea, Wow thanks for the detailed proposal! I don’t have any experience with proof assistants myself (though I've always been thinking about learning them), but I can see some...

Hi, thanks for the proposal and your kind words. Currently some simple errors are caught, but not all. Better error messages indeed being planned!

Hi there, This is a functional programming feature called currying and was deliberately added. https://en.wikipedia.org/wiki/Currying See also #322 Thanks!

Hi there, You don't need to worry about currying, it is done automatically. You can call the function in the exact same way you do with non-curried functions. It just...