molikto

Wired program type checked.

1

``` test1 (t: nat): U = nat test2 (a: nat): U = (test1 a) where a: (test2 zero) = zero ``` An equivalent program doesn't type check in Coq

Support more Markdown formating

8

* formats * `code blocks` * multi paragraph item like this * numbered list 1. item 1 2. item 2 * ``` raw code ``` * pictures This is not...

Proportional font option

1

Have a option to use a proportional font instead of monospace font. Or maybe better, a theme system where user can use whatever they want If I have time I...

use `pnpm recursive run` instead of `lerna`

1

thanks for this repo. after setting up a repo following this, I found out that you can use `pnpm recursive run` instead of `lerna run`. it is also much faster.