Haskell Dependent Types

6 Dependent Types packages and projects

• list-witnesses

  2.7 4.5 Haskell

  Witnesses for working with type-level lists

• decidable

  5.7 4.4 Haskell

  Combinators for manipulating dependently-typed predicates.

• lens-typelevel

  6.4 0.0 Haskell

  Type-level lenses using singletons

• instance-map

  2.8 0.0 Haskell

  Template haskell utilities for helping with deserialization etc. of existential types

• ral-optics

  - -

  Length-indexed random access lists

• agda-snippets-hakyll

  3.1 - Haskell

  Literate Agda support using agda-snippets, for Hakyll pages.