## [0.6.1] - 2022-09-12
- new ListLength type family and associated functions
- new Greater type family and associated functions
- new FixedList type indexed by PeanoNat
- new ListElement functions
- new OrderedWitnessMapFor and OrderedWitnessMapOf types
- new functions:
  - someForToSome

## [0.6] - 2022-05-08
- reorganise modules
- rename types and functions
- additional functionality

## [0.5] - 2020-09-22