Selected Tags

Click on a tag to remove it

More Tags

Click on a tag to add it and filter down

Agda packages

Showing projects tagged as Dependent Types and Agda

  • Agda

    10.0 9.8 Haskell
    Agda is a dependently typed programming language / interactive theorem prover.
  • agda-snippets

    4.4 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-snippets-hakyll

    4.4 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.4 5.5 Haskell
    Check for unused code in an Agda project.