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.5.1@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.5.1@sha256:1908513b0461f0e67f6618a82bee001014febf21092198dde5160eb59a38be5c,2774
Module documentation for 2.5.1
- Agda
- Agda.Contrib
Depends on 8 packages(full list with versions):
Used by 2 packages in nightly-2016-04-20(full list with versions):