Popularity
2.5
Declining
Activity
0.0
Stable
1
3
0
Monthly Downloads: 3
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Tags:
Dependent Types
Latest version: v0.1.3.2
list-witnesses alternatives and similar packages
Based on the "Dependent Types" category.
Alternatively, view list-witnesses alternatives based on common mentions on social networks and blogs.
-
-
-
-
agda-snippets-hakyll
Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched. -
-
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
Promo
www.influxdata.com
Do you think we are missing an alternative of list-witnesses or a related project?
README
[list-witnesses][docs]
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.