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

Directory listing for free-theorems-0.3.2.1 source tarball

free-theorems-0.3.2.1/

• LICENSE
• README
• Setup.lhs
• free-theorems.cabal
• runtests
• src/
  • Arbitraries.hs
  • FrontendCheckGlobalTests.hs
  • FrontendCheckLocalTests.hs
  • FrontendOtherTests.hs
  • FrontendTypeExpressionsTests.hs
  • InterpretationTests.hs
  • ParserPrettyPrinterTests.hs
  • Runtests.hs
  • Tests.hs
  • Language/
    • Haskell/
      • FreeTheorems.hs
      • FreeTheorems/
        • BasicSyntax.hs
        • Frontend.hs
        • Intermediate.hs
        • LanguageSubsets.hs
        • NameStores.hs
        • PrettyBase.hs
        • PrettyTheorems.hs
        • PrettyTypes.hs
        • Syntax.hs
        • Theorems.hs
        • Unfold.hs
        • ValidSyntax.hs
        • Frontend/
          • CheckGlobal.hs
          • CheckLocal.hs
          • Error.hs
          • TypeExpressions.hs
        • Parser/
          • Haskell98.hs
        • Theorems/
          • Simplify.hs