@hackage PandocAgda2.3.3

Pandoc support for literate Agda

Categories
License
BSD-3-Clause
Maintainer
Péter Diviánszky <divipp@gmail.com>
Links
Versions
- 2.3.3.0.2 Mon, 11 Mar 2013
- 2.3.3.0.1 Thu, 28 Feb 2013
- 2.3.3 Mon, 25 Feb 2013

Deprecated
This package has been deprecated
Dependencies (14)
- Win32 >=2.2 && <2.3
- base >=4.2 && <4.7
- containers >=0.1 && <0.6
- directory >=1.0 && <1.2
- filepath >=1.1 && <1.4
- mtl >=2.0 && <2.1 || >=2.1.1 && <2.2
Dependents (1)
@hackage/acme-everything

Agda is a dependently typed functional programming language and a proof assistant.

This package contains a modified Agda compiler which process comments in literate Agda files with Pandoc. Pandoc is a universal document converter.