• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for Folly-0.1.4.2 source tarball

Folly-0.1.4.2/

• Folly.cabal
• LICENSE
• Setup.hs
• src/
  • Main.hs
  • Folly/
    • Formula.hs
    • Lexer.hs
    • Parser.hs
    • Resolution.hs
    • Theorem.hs
    • Unification.hs
    • Utils.hs
• test/
  • Main.hs