/

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