Haskell Dependent Types

8 Dependent Types packages and projects

• lens-typelevel

  6.3 0.0 Haskell

  Type-level lenses using singletons

• decidable

  6.0 0.2 Haskell

  Combinators for manipulating dependently-typed predicates.

• agda2lagda

  4.7 5.8 Haskell

  Translate .agda files into .lagda.tex files.

Get performance insights in less than 4 minutes.

Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.

Promoted scoutapm.com



• agda-snippets-hakyll

  3.3 0.0 Haskell

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

• agda-unused

  2.6 7.4 Haskell

  Check for unused code in an Agda project.

• instance-map

  2.6 0.0 Haskell

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

• list-witnesses

  2.3 0.0 Haskell

  Witnesses for working with type-level lists

• ral-optics

  - -

  Length-indexed random access lists