Sit 0.2017.2.26 → 0.2017.5.1

raw patch · 1 files changed

+6/−6 lines, 1 files

Files

• Sit.cabal +6/−6

@@ -1,12 +1,12 @@ name:            Sit-version:         0.2017.02.26+version:         0.2017.05.01 build-type:      Simple cabal-version:   >= 1.8 license:         OtherLicense license-file:    LICENSE-author:          Anonymous-maintainer:      Anonymous-homepage:        NONE+author:          Andreas Abel <andreas.abel@gu.se>+maintainer:      Andreas Abel <andreas.abel@gu.se>+homepage:        https://github.com/andreasabel/Sit category:        Dependent types synopsis:        Prototypical type checker for Type Theory with Sized Natural Numbers description:@@ -16,7 +16,7 @@   It has dependent function types, universes, sized natural numbers,   and case and recursion over natural numbers.   There is a relevant and an irrelevant quantifier over sizes.-  For an example, see file test/Test.agda+  For an example, see file test/Test.agda.  tested-with:        GHC == 7.8.4                     GHC == 7.10.3@@ -34,7 +34,7 @@  source-repository head   type:     git-  location: NONE+  location: https://github.com/andreasabel/Sit  executable Sit.bin   ghc-options:      -rtsopts