Haskell Dependent Types

1 Dependent Types package

• agda-snippets-hakyll

  2.9 - Haskell

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