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

Directory listing for gdp-0.0.3.0 source tarball

gdp-0.0.3.0/

• LICENSE
• README.md
• Setup.hs
• gdp.cabal
• app/
  • Main.hs
• src/
  • GDP.hs
  • Data/
    • Arguments.hs
    • Refined.hs
    • The.hs
  • Logic/
    • Classes.hs
    • Implicit.hs
    • NegClasses.hs
    • Proof.hs
    • Propositional.hs
  • Theory/
    • Equality.hs
    • Lists.hs
    • Named.hs