singleton-nats 0.3.0.0 → 0.3.0.1

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 @@   , natPlus   , natMul   , SNat+  , Data.Singletons.Prelude.Sing(SS, SZ)       , (:*)   , (:*$)   , (:*$$)

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