Haskell Dependent Types

5 Dependent Types packages and projects

• lens-typelevel

  6.4 0.1 Haskell

  Type-level lenses using singletons

• decidable

  5.5 5.6 Haskell

  Combinators for manipulating dependently-typed predicates.

• agda-snippets-hakyll

  2.9 - Haskell

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

• instance-map

  2.8 0.0 Haskell

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

• list-witnesses

  2.4 6.2 Haskell

  Witnesses for working with type-level lists