Emilio Jesús Gallego Arias
Emilio Jesús Gallego Arias
> @ejgallego I added a changelog, but let's wait until we decide how to address the issues I raised in the description of the PR. I'd love to hear your...
> you forget about Haskell XD and Lean!
> the fact that a whole part of the Rocq ecosystem renounces to use semantic bullets / goal focusing because of this historical design choice In my case, I use...
With the merge of #1008 we have reached a first milestone, but still there are many things to improve in the JS/WASM backend, so I keep this issue open for...