Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/mstksg/list-witnesses
Inductive dependently-typed witnesses for working with type-level lists.
https://github.com/mstksg/list-witnesses
Last synced: about 2 months ago
JSON representation
Inductive dependently-typed witnesses for working with type-level lists.
- Host: GitHub
- URL: https://github.com/mstksg/list-witnesses
- Owner: mstksg
- License: bsd-3-clause
- Created: 2019-03-04T22:49:06.000Z (almost 6 years ago)
- Default Branch: master
- Last Pushed: 2024-02-28T01:30:14.000Z (10 months ago)
- Last Synced: 2024-10-12T00:55:13.691Z (2 months ago)
- Language: Haskell
- Homepage: http://mstksg.github.io/list-witnesses
- Size: 596 KB
- Stars: 1
- Watchers: 4
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- License: LICENSE
Awesome Lists containing this project
README
[list-witnesses][docs]
======================[![list-witnesses on Hackage](https://img.shields.io/hackage/v/list-witnesses.svg?maxAge=86400)](https://hackage.haskell.org/package/list-witnesses)
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.