10

8

6

4

2


2 agda packages and projects

  • 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.
  • agda-unused

    2.2 0.0 Haskell
    Check for unused code in an Agda project.

Add another 'agda' Package