Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for free-theorems-0.3 source tarball
free-theorems-0.3/
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
Hsx.hs
Theorems/
Simplify.hs