Collection of assorted inductive witnesses and functions for working with type-level lists.
- Data.Type.List.Edit contains single-item edits of lists, including insertion, deletion, and substitution.
- Data.Type.List.Sublist contains witnesses for prefixes, suffixes, and two-way splits of type-level lists.
August 3, 2019
- Add microlens as a dependency, and use actual type synonyms for lenses. Also got rid of re-implementations of over and view.
March 7, 2019
March 6, 2019
- Initial release