singleton-nats 0.1.0.0 → 0.1.1.0

raw patch · 2 files changed

+2/−1 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• Data/Nat.hs +1/−0
• singleton-nats.cabal +1/−1

@@ -8,6 +8,7 @@   , (Data.Nat.+)   , (Data.Nat.*)   , SNat+  , Data.Singletons.Prelude.Sing(..)   , (:*)   , (:*$)   , (:*$$)

@@ -1,6 +1,6 @@  name:                singleton-nats-version:             0.1.0.0+version:             0.1.1.0 synopsis:            Unary natural numbers relying on the singletons infrastructure.          license:             BSD3 license-file:        LICENSE