1,658 contributions in the last year
Opened 5 other pull requests in 3 repositories
Reviewed 17 pull requests in 3 repositories
coq/coq 15 pull requests
- Have "make clean" remove files that Dune regards as unhygenic
- Tweaks for running doc_gram_verify in CI
- Update inductive.rst
[doc] Note that
coq_makefile --helpwill display help.
- Improve description of "coqc -Q"
- Update GH PR template to mention grammar doc
- [build] [doc] Build a few more targets hygienically
- Legacy build: split coqdep invocation if command line too long
- Typeclasses default mode
- Specialize the warning for "Hint Rewrite" without an explicit locality.
make worldbuilds all targets present in
- Add more Dune tips to hacking doc.
- [build] Some more fixes to Dune-Make bridge + ci-* targets
- Allow split compilation for native compute files
- Implement the warning for typeclass instances without an explicit locality.