/
.gitignore
LICENSE
functorproof.txt
reverse-ad.txt
src
test.txt
verify-hs.cabal