Haskell Dependent Types

8 Dependent Types packages and projects

• decidable

  6.3 0.0 Haskell

  Combinators for manipulating dependently-typed predicates.

• lens-typelevel

  5.9 0.0 Haskell

  Type-level lenses using singletons because why not

The context switching struggle is real

Zigi makes context switching a thing of the past. It monitors Jira and GitHub updates, pings you when PRs need approval and lets you take fast actions - all directly from Slack!

Promo www.zigi.ai



• agda2lagda

  4.3 3.8 Haskell

  Simple conversion from Agda text to literate Agda text.

• agda-snippets-hakyll

  3.8 0.0 Haskell

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

• instance-map

  3.5 0.0 Haskell

  Haskell dependent types the ugly and brute force way
  

• agda-unused

  3.2 0.0 Haskell

  Check for unused code in an Agda project.

• list-witnesses

  2.6 0.0 Haskell

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

• ral-optics

  - -

  Length-indexed random access lists