type-unary 0.1.3 → 0.1.4

raw patch · 2 files changed

+6/−4 lines, 2 files

Files

src/TypeUnary/Vec.hs +5/−3
type-unary.cabal +1/−1

src/TypeUnary/Vec.hs view

@@ -225,10 +225,12 @@ --   show ZVec = "ZVec" --   show (a :< v) = show a ++ " :< " ++ show v +{- -- | Enumerate the elements of a vector.  See also 'elemsV'--- vElems :: Vec n a -> [a]--- vElems ZVec      = []--- vElems (a :< as) = a : vElems as+vElems :: Vec n a -> [a]+vElems ZVec      = []+vElems (a :< as) = a : vElems as+-}  -- TODO: Add strictness annotations ("!") to (:<) arguments & compare

type-unary.cabal view

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