Haskell Dependent Types

8 Dependent Types packages and projects

• decidable

  6.4 0.0 Haskell

  Combinators for manipulating dependently-typed predicates.

• lens-typelevel

  5.8 0.0 Haskell

  Type-level lenses using singletons because why not

Clean code begins in your IDE with SonarLint

Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.

Promo www.sonarlint.org



• agda2lagda

  4.8 0.0 Haskell

  Simple conversion from Agda text to literate Agda text.

• agda-snippets-hakyll

  4.2 0.0 Haskell

  Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.

• agda-unused

  3.9 0.0 Haskell

  Check for unused code in an Agda project.

• instance-map

  3.3 0.0 Haskell

  Haskell dependent types the ugly and brute force way
  

• list-witnesses

  2.5 0.0 Haskell

  Inductive dependently-typed witnesses for working with type-level lists.

• ral-optics

  - -

  Length-indexed random access lists