type-unary 0.2.13 → 0.2.14

raw patch · 1 files changed

+1/−1 lines, 1 files

Files

• type-unary.cabal +1/−1

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