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

Directory listing for cg-0.0.9.0 source tarball

cg-0.0.9.0/

• CG.hs
• LICENSE
• Setup.hs
• cg.cabal
• CG/
  • Base.hs
  • Parser.hs
  • Parsing.hs
  • Prover.hs
  • ToAgda.hs
  • Prover/
    • Base.hs
    • Ins.hs