/

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