Haskell Dependent Types

10

8

6

4

2

3.9

-

agda-snippets-hakyll

1 Dependent Types package

agda-snippets-hakyll

3.9 - 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.