Bas Spitters
Bas Spitters
Yann is working on an improved coqdoc-ng, but I don't know how much is already in trunk. On Mon, Oct 13, 2014 at 6:53 AM, Jason Gross [email protected] wrote: >...
Thanks @ndcroos ! What's the status of this?
@yannl35133 made that PR, so he may have some insights here...
Thanks @mattam82 for the prompt response!
You may want to look at https://github.com/CertiCoq/certicoq/issues/96 before releasing.
In fact, I believe the reason we'd like this in Coq CI is also to test the certicoq-wasm plugins: https://github.com/CertiCoq/certicoq/wiki https://github.com/womeier/certicoqwasm Certicoq-wasm could be used in the future to run...
I was curious what the CI for certicoq looks like, but it appears not the be part of Coq-CI: https://github.com/coq/coq/tree/master/dev/ci Would it be good to add that to, with an...
@yforster I guess it's this one: https://github.com/coq/coq/blob/master/dev/ci/ci-metacoq.sh Did you mean Certicoq Nix?
@Zimmi48 @yannl35133 @4ever2 has now put rust extraction in Nix, we will also add the other extraction targets (like Elm,...) These depend on metacoq, and I believe are a worthwhile...
It would be great to move away from the experimental reals.