Haskell Dependent Types

10

8

6

4

2

3.0

-

agda-snippets-hakyll

1 Dependent Types package

agda-snippets-hakyll

3.0 - Haskell

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

Add another 'Dependent Types' Package

Awesome Haskell is part of the LibHunt network. Terms. Privacy Policy.