The latest version of list-witnesses is 0.1.4.1-0.
list-witnesses
Version 0.1.4.0 revision 0 uploaded by jle.
Package meta
- Synopsis
- Witnesses for working with type-level lists
- Description
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.
- Author
- Justin Le
- Bug reports
- https://github.com/mstksg/list-witnesses/issues
- Category
- Dependent Types
- Copyright
- (c) Justin Le 2023
- Homepage
- https://github.com/mstksg/list-witnesses#readme
- Maintainer
- justin@jle.im
- Package URL
- n/a
- Stability
- n/a