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

Directory listing for algebra-checkers-0.1.0.0 source tarball

algebra-checkers-0.1.0.0/

• 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