Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

+cabal metadata

darcs-hash:20080312034717-f7719-fc6807d49fc952ad44b1fa68cfe22d6efeeac0b3.gz
  • Loading branch information...
commit 82c30e65b75d249fe2c2c5098fb9af4d4e73ba83 1 parent ceb5701
@gwern gwern authored
Showing with 4 additions and 4 deletions.
  1. +4 −4 ivor.cabal
View
8 ivor.cabal
@@ -7,11 +7,11 @@ Author: Edwin Brady
Maintainer: Edwin Brady <eb@dcs.st-and.ac.uk>
Homepage: http://www.dcs.st-and.ac.uk/~eb/Ivor/
-Stability: experimental
+Stability: experimental
Build-depends: base, haskell98, parsec, mtl, plugins
Extensions: MultiParamTypeClasses, FunctionalDependencies,
ExistentialQuantification, OverlappingInstances
-Synopsis: Theorem proving library based on dependent type theory
+Synopsis: Theorem proving library based on dependent type theory
Description: Ivor is a type theory based theorem prover, with a
Haskell API, designed for easy extending and embedding
of theorem proving technology in Haskell
@@ -37,8 +37,8 @@ Description: Ivor is a type theory based theorem prover, with a
Build-depends: base, parsec, mtl, plugins, directory
Build-type: Simple
-Extensions: MultiParamTypeClasses, FunctionalDependencies,
- ExistentialQuantification, OverlappingInstances
+Extensions: MultiParamTypeClasses, FunctionalDependencies,
+ ExistentialQuantification, OverlappingInstances
-- Needs some -Wall cleanup
-- GHC-options: -Wall
Please sign in to comment.
Something went wrong with that request. Please try again.