Tesla Zhang‮

Thanks for the clarification, I think my friend told me about coe, and I was asking about hcom.

pat pat

Ok, http!

I believe that these symbols are drawn directly

Ctrl+W 是剪切，这个对了

> 具体哪个平台，使用的墨干版本是？ Windows 和那个 latest 1.1.1

Do you want to make a pull request? I guess we used this order since `n` and `m` on the keyboard appear to be in this order, but I'm not...

It's now 0.9.1

You need this file `arend.yaml` at the project root: ```yaml langVersion: 1.3 sourcesDir: src testsDir: test binariesDir: .bin ``` Your project structure: ```yaml - / - arend.yaml - src -...

Well, I think I should give an example with the stdlib added