Popularity
2.6
Growing
Activity
0.0
Stable
1
3
0
Monthly Downloads: 5
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.
-
decidable
Combinators for manipulating dependently-typed predicates. -
lens-typelevel
Type-level lenses using singletons because why not -
agda2lagda
Simple conversion from Agda text to literate Agda text. -
agda-snippets-hakyll
Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched. -
instance-map
Haskell dependent types the ugly and brute force way
Access the most powerful time series database as a service
Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.
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.