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

Directory listing for hout-0.1.0.0 candidate source tarball

hout-0.1.0.0/

• ChangeLog.md
• LICENSE
• README.md
• Setup.hs
• hout.cabal
• examples/
  • Examples.hs
  • Hout/
    • Examples.hs
• src/
  • Hout/
    • Logic/
      • FirstOrder.hs
      • Intuitionistic.hs
    • Prover/
      • Proofs.hs
      • Tactics.hs