Changelog for fin-0.0.3
Revision history for fin
0.0.3
- Add
Data.Type.Nat.LE
,Data.Type.Nat.LT
andData.Type.Nat.LE.ReflStep
modules - Add
withSNat
anddiscreteNat
0.0.2
- In
Fin
add:append
andsplit
- Add
(Enum a, Enum b) => Enum (Either a b)
instance
0.0.1
- GHC-8.4.1 / base-4.11 support
0
- First version. Released on an unsuspecting world.