Deprecated
In favour of
agda-snippets
Render just the Agda snippets of a literate Agda file to HTML
http://github.com/liamoc/agda-snippets#readme
Version on this page: | 2.4.2.5@rev:1 |
LTS Haskell 6.35: | 2.5.1@rev:1 |
Stackage Nightly 2016-05-25: | 2.5.1 |
Latest on Hackage: | 2.5.2@rev:1 |
Maintained by [email protected]
This version can be pinned in stack with:
agda-snippets-2.4.2.5@sha256:ba9c6c711722bb2bfaa5661634abf0a0fe8c14b466e2fe0521ba9c81406b4235,2778
Module documentation for 2.4.2.5
- Agda
- Agda.Contrib
Depends on 8 packages(full list with versions):
Used by 1 package in nightly-2016-02-09(full list with versions):