typerbole 0.0.0.2 → 0.0.0.3
raw patch · 2 files changed
+16/−10 lines, 2 filesdep ~QuickCheckdep ~data-ordlistdep ~either
Dependency ranges changed: QuickCheck, data-ordlist, either, lens, mtl, safe, semigroups, syb
Files
- README.md +1/−1
- typerbole.cabal +15/−9
README.md view
@@ -44,7 +44,7 @@ The lambda cube describes the properties of a number of typesystems, an overview can be found [**here**](./lambdacube-overview.md). It is the basis for the library's classification of typesystems, a typeclass hierarchy where each axis is represented by a typeclass whose methods and associated types are indicitive of the properties of the axis. -+ ***
typerbole.cabal view
@@ -1,11 +1,13 @@ name: typerbole-version: 0.0.0.2+version: 0.0.0.3 synopsis: A typeystems library with exaggerated claims description: Please see README.md license: BSD3 license-file: LICENSE author: Fionan Haralddottir maintainer: ma302fh@gold.ac.uk+homepage: https://github.com/Lokidottir/typerbole+bug-reports: https://github.com/Lokidottir/typerbole/issues copyright: 2016 Fionan Haralddottir category: Typesystems , Typechecking@@ -20,6 +22,10 @@ , diagrams/typeclass-hierarchy.png , CONTRIBUTING.md +source-repository head+ type: git+ location: https://github.com/Lokidottir/typerbole+ library hs-source-dirs: src exposed-modules: Calculi.Lambda@@ -38,20 +44,20 @@ , Data.Graph.Inductive.Helper build-depends: base >= 4.7 && < 5 , containers >= 0.5 && < 0.6- , data-ordlist < 0.4.8- , either < 4.5- , semigroups < 0.19+ , data-ordlist+ , either+ , semigroups , bifunctors >= 5 , fgl >= 5.5 && < 5.6- , QuickCheck < 2.9- , syb < 0.7- , mtl < 2.3+ , QuickCheck+ , syb+ , mtl , generic-random == 0.1.1.0- , lens < 4.14+ , lens , template-haskell < 2.11 , th-lift >= 0.7 && < 0.8 , megaparsec < 5- , safe < 0.4+ , safe ghc-options: -Wall -fno-warn-type-defaults -fno-warn-unused-do-bind