type-unary 0.1.11 → 0.1.12

raw patch · 2 files changed

+2/−1 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

src/TypeUnary/Nat.hs +1/−0
type-unary.cabal +1/−1

src/TypeUnary/Nat.hs view

@@ -1,4 +1,5 @@ {-# LANGUAGE TypeOperators, GADTs, KindSignatures, RankNTypes #-}+{-# LANGUAGE FlexibleContexts #-} {-# OPTIONS_GHC -Wall #-} ---------------------------------------------------------------------- -- |

type-unary.cabal view

@@ -1,5 +1,5 @@ Name:                type-unary-Version:             0.1.11+Version:             0.1.12 Cabal-Version:       >= 1.2 Synopsis:               Type-level and typed unary natural numbers, inequality proofs, vectors