projects / coq-hetmet.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
merge proof correction
[coq-hetmet.git] / .gitignore
1 examples/tutorial.coqpass
2 examples/tutorial.tex
3 examples/tutorial.pdf
4 build/
5 build/**
6 examples/.build
7 examples/*.o
8 examples/*.hi
9
10
Coq proofs and code accompanying the HetMet extensions for GHC