boring-0.1.3: ChangeLog.md

# Revision history for boring

## 0.1.3

- Allow `vec-0.3`
- Add instances for `ral` and `bin` types.

## 0.1.2

- Add instances for 'Boring' instances for 'SBool', 'SNat' and 'LE'.
- Add 'Boring (Dec a)', 'boringYes' and 'boringNo'.

## 0.1.1

- Add `GHC.Generics` instances
- Add `:~~:` and `Coercion` instances

## 0.1

- `streams`, `constraints`, `generics-sop` instances.
- Reversed dependency with `vec`, add `fin` instances.

## 0

- First version. Released on an unsuspecting world.