10

8

6

4

2


2 agda packages and projects

  • agda-unused

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

Add another 'agda' Package