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

Directory listing for FirstOrderTheory-0.1.0.4 source tarball

FirstOrderTheory-0.1.0.4/

• FirstOrderTheory.cabal
• LICENSE
• Setup.hs
• src/
  • FirstOrderTheory/
    • Syntax.hs
    • Theory.hs
    • Utils.hs