Cabal revisions of type-unary-0.1.13

Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.

 Name:                type-unary Version:             0.1.13+x-revision: 1 Cabal-Version:       >= 1.2 Synopsis:               Type-level and typed unary natural numbers, inequality proofs, vectors Library   hs-Source-Dirs:      src   Extensions:-  Build-Depends:       base >=4 && < 5, ty, vector-space+  Build-Depends:       base >=4 && < 4.11, ty, vector-space   Exposed-Modules:                             TypeUnary.TyNat                        TypeUnary.Nat