Revision history for fin

0.1

• Rename Fin constructors to FZ and FS. Now you can have both Nat and Fin imported unqualified in a single module.

0.0.3

• Add Data.Type.Nat.LE, Data.Type.Nat.LT and Data.Type.Nat.LE.ReflStep modules
• Add withSNat and discreteNat

0.0.2

• In Fin add: append and split
• 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.