type-eq 0.1 → 0.1.1

raw patch · 1 files changed

+2/−2 lines, 1 files

Files

• type-eq.cabal +2/−2

@@ -1,6 +1,6 @@ name:          type-eq category:      Type System-version:       0.1+version:       0.1.1 author:        Gábor Lehel maintainer:    Gábor Lehel <illissius@gmail.com> homepage:      http://github.com/glehel/type-eq@@ -14,7 +14,7 @@ description:     This package provides types and combinators to store and manipulate evidence of equality between types.     .-    To take advantage of kind-polymorphism when it is available but not require it, this it is split into the following primary modules:+    To take advantage of kind-polymorphism when it is available but not require it, it is split into the following primary modules:     .         - @/Type.Eq/@: Types and combinators which can be kind-polymorphic if @PolyKinds@ are available, but are specific to kind @*@ otherwise.     .