fin-0.0.3: ChangeLog.md

# Revision history for fin

## 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.