Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for algebra-checkers-0.1.0.1 source tarball
algebra-checkers-0.1.0.1/
ChangeLog.md
LICENSE
README.md
Setup.hs
algebra-checkers.cabal
src/
AlgebraCheckers.hs
AlgebraCheckers/
Homos.hs
Patterns.hs
Ppr.hs
Suggestions.hs
TH.hs
Theorems.hs
Types.hs
Types.hs-boot
Unification.hs