Haskell Dependent Types

1 Dependent Types package

• agda-snippets-hakyll

  3.9 - Haskell

  Literate Agda support using agda-snippets, for Hakyll pages.