10

8

6

4

2


2 agda packages and projects

  • agda-snippets-hakyll

    3.3 0.0 Haskell
    Literate Agda support using agda-snippets, for Hakyll pages.
  • agda-unused

    2.6 7.8 Haskell
    Check for unused code in an Agda project.

Add another 'agda' Package