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

Directory listing for Folly-0.1.5.0 source tarball

Folly-0.1.5.0/

• Folly.cabal
• LICENSE
• Setup.hs
• src/
  • Main.hs
  • Folly/
    • Clause.hs
    • Formula.hs
    • Lexer.hs
    • Parser.hs
    • Resolution.hs
    • Theorem.hs
    • Unification.hs
    • Utils.hs
• test/
  • TestMain.hs
  • Folly/
    • FormulaTests.hs
    • LexerTests.hs
    • ParserTests.hs
    • ResolutionTests.hs
    • TestUtils.hs
    • UnificationTests.hs