Revision history for fin

0.1.1

• Add isMin and isMax
• Add mirror, weakenRight1 and weakenLeft1
• Add Mult2 and DivMod2
• Explicitly derive Typeable SNat and Typeable LEProof
• Derive Typeable for Z and S on GHC-7.8 explicitly
• Add QuickCheck instances for Nat and 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.