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.
decidable6.4 0.0 list-witnesses VS decidableCombinators for manipulating dependently-typed predicates.
lens-typelevel5.9 0.0 list-witnesses VS lens-typelevelType-level lenses using singletons because why not
agda2lagda5.1 3.0 list-witnesses VS agda2lagdaSimple conversion from Agda text to literate Agda text.
agda-unused4.0 0.0 list-witnesses VS agda-unusedCheck for unused code in an Agda project.
agda-snippets-hakyllLibrary and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
instance-map3.4 0.0 list-witnesses VS instance-mapHaskell dependent types the ugly and brute force way
ral-opticsLength-indexed random access lists
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.
Do you think we are missing an alternative of list-witnesses or a related project?
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.