[0.6.2] - 2023-07-25
- withAllConstraint, withSomeAllConstraint
- listTypeToListM, listTypeForList, listTypeFind
- fixedListLength, fixedListGenerate, Eq FixedList
[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:
[0.6] - 2022-05-08
- reorganise modules
- rename types and functions
- additional functionality
[0.5] - 2020-09-22