Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for FirstOrderTheory-0.1.0.6 source tarball
FirstOrderTheory-0.1.0.6/
FirstOrderTheory.cabal
LICENSE
Setup.hs
src/
FirstOrderTheory/
Syntax.hs
Theory.hs
Utils.hs