Popularity
2.7
Declining
Activity
0.0
Stable
1
3
0
Monthly Downloads: 11
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. -
instance-map
Haskell dependent types the ugly and brute force way -
agda-snippets-hakyll
Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
Download talent.io’s Tech Salary Report
Median salaries, most in-demand technologies, state of the remote work... all you need to know your worth on the market by tech recruitment platform talent.io
Promo
www.talent.io
Do you think we are missing an alternative of list-witnesses or a related project?
|
Truly a developer’s best friend
sponsored
scoutapm.com
|
|
Static code analysis for 29 languages.
sponsored
www.sonarqube.org
|
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.