The PandocAgda package

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.

Properties

Versions	2.3.3, 2.3.3.0.1, 2.3.3.0.2
Dependencies	Agda (2.3.3), base (≥4.2 & <4.7), containers (≥0.1 & <0.6), directory (≥1.0 & <1.2), filepath (≥1.1 & <1.4), mtl (2.0.), old-time (≥1.0 & <1.2), pandoc (1.10.), pandoc-types (1.10.), QuickCheck (≥2.3 & <2.6), text (0.11.), xhtml (3000.2.) or Agda (2.3.3), base (≥4.2 & <4.7), containers (≥0.1 & <0.6), directory (≥1.0 & <1.2), filepath (≥1.1 & <1.4), mtl (≥2.1.1 & <2.2), old-time (≥1.0 & <1.2), pandoc (1.10.), pandoc-types (1.10.), QuickCheck (≥2.3 & <2.6), text (0.11.), xhtml (3000.2.) or Agda (2.3.3), base (≥4.2 & <4.7), containers (≥0.1 & <0.6), directory (1.2.), filepath (≥1.1 & <1.4), mtl (2.0.), pandoc (1.10.), pandoc-types (1.10.), QuickCheck (≥2.3 & <2.6), text (0.11.), time (1.4.), xhtml (3000.2.) or Agda (2.3.3), base (≥4.2 & <4.7), containers (≥0.1 & <0.6), directory (1.2.), filepath (≥1.1 & <1.4), mtl (≥2.1.1 & <2.2), pandoc (1.10.), pandoc-types (1.10.), QuickCheck (≥2.3 & <2.6), text (0.11.), time (1.4.), xhtml (3000.2.)
License	BSD3
Author	Péter Diviánszky
Maintainer	Péter Diviánszky <divipp@gmail.com>
Category	Dependent types
Source repository	darcs get http://hub.darcs.net/divip/AgdaTutorial
Executables	agdapandoc
Upload date	Mon Mar 11 10:11:07 UTC 2013
Uploaded by	PeterDivianszky
Build failure	ghc-7.6 (log)