10

8

6

4

2


2 agda packages and projects

  • agda-snippets-hakyll

    3.9 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

    2.4 1.6 Haskell
    Check for unused code in an Agda project.

Add another 'agda' Package