• Paolo G. Giarrusso's avatar
    Documentation for #237 · a4fc20bc
    Paolo G. Giarrusso authored
    That's the documentation I'd have wanted to see, and viceversa the lack of this
    rule implied (to me) that this wouldn't work.
    a4fc20bc
Name
Last commit
Last update
.gitlab/issue_templates Loading commit data...
benchmark Loading commit data...
docs Loading commit data...
tests Loading commit data...
theories Loading commit data...
.gitattributes Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
.gitmodules Loading commit data...
CHANGELOG.md Loading commit data...
CONTRIBUTING.md Loading commit data...
Editor.md Loading commit data...
HeapLang.md Loading commit data...
LICENSE Loading commit data...
LICENSE-CODE Loading commit data...
LICENSE-DOCS Loading commit data...
Makefile Loading commit data...
Makefile.coq.local Loading commit data...
ProofGuide.md Loading commit data...
ProofMode.md Loading commit data...
README.md Loading commit data...
StyleGuide.md Loading commit data...
_CoqProject Loading commit data...
descr Loading commit data...
opam Loading commit data...