typerbole 0.0.0.3 → 0.0.0.4
raw patch · 3 files changed
+5/−36 lines, 3 filesdep −colourdep −diagrams-libdep −diagrams-svgdep ~base
Dependencies removed: colour, diagrams-lib, diagrams-svg
Dependency ranges changed: base
Files
- README.md +1/−1
- diagrams/Main.hs +0/−13
- typerbole.cabal +4/−22
README.md view
@@ -1,4 +1,4 @@-# typerbole+# typerbole  Parameterized typesystems, lambda cube typeclasses, and typechecking interfaces.
− diagrams/Main.hs
@@ -1,13 +0,0 @@-module Main where--import Diagrams.Prelude-import Diagrams.Backend.SVG.CmdLine-import Data.Colour-import Data.Colour.SRGB--main :: IO ()-main = putStrLn "todo: program making diagrams for this package"--colour = sRGB24--hexcode = sRGB24read
typerbole.cabal view
@@ -1,5 +1,5 @@ name: typerbole-version: 0.0.0.3+version: 0.0.0.4 synopsis: A typeystems library with exaggerated claims description: Please see README.md license: BSD3@@ -11,9 +11,9 @@ copyright: 2016 Fionan Haralddottir category: Typesystems , Typechecking- , TypeTheory+ , Type Theory , Educational- , LambdaCube+ , Lambda Cube , AST build-type: Simple cabal-version: >=1.10@@ -42,7 +42,7 @@ , Compiler.Typesystem.SimplyTyped , Control.Typecheckable , Data.Graph.Inductive.Helper- build-depends: base >= 4.7 && < 5+ build-depends: base >= 4.7 && < 4.9 , containers >= 0.5 && < 0.6 , data-ordlist , either@@ -92,24 +92,6 @@ default-language: Haskell2010 default-extensions: ScopedTypeVariables , LambdaCase- , TemplateHaskell- , DeriveGeneric- , TypeFamilies---- Executable to generate vector graphics related to this--- project.-executable typerbole-diagrams- hs-source-dirs: diagrams- main-is: Main.hs- build-depends: base- , diagrams-lib- , diagrams-svg- , colour- ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall- default-language: Haskell2010- default-extensions: ScopedTypeVariables- , LambdaCase- , NoMonomorphismRestriction , TemplateHaskell , DeriveGeneric , TypeFamilies