石蕊 (Pi-Cla)

Mermaid seems great, but apparently they have not specifically added tree diagrams yet: https://github.com/mermaid-js/mermaid/issues/3989 If they do though, then I will close this issue in favour of just adding mermaid

In the mean time could people host translations on their own websites? (provided they link back to the original ofc)

I tried setting `ulimit -s 16384`, still get the same error. Also the system does not like it when I increase it further: ``` ulimit: Permission denied when changing resource...

I tried `make BUILD_COQ=yes` but it required dune which I installed, then it did not work at all anyways. Next I use `dune build --display=short`. Now it does start compiling....

Dune build already autocapped itself at 8 jobs so I first reduce to 6 jobs but that was still too much. So I ended up at 4. It is a...

Nevermind, it froze at 4, 3 and even 2 jobs. (For 2 jobs it did not even get through one file before freezing!) Strange...

So what should I write in the readme? Something like: > If the make command doesn't work, try installing `ocaml-dune` and run this: `dune build --display=short --cache=enabled`. (cache=enabled helps save...

It does not freeze on the same file cause I then restart it and it chugs through the file just fine. I forgot whether my system uses swap files/partitions or...

Could be as fans do start running at full blast. But laptop is never hot on touch.

Yeah, I have already compiled all I need. Not sure what should be the guidance for the readme be then...