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.), PandocAgda (==2.3.3.0.2), 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.), PandocAgda (==2.3.3.0.2), 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.), PandocAgda (==2.3.3.0.2), 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.), PandocAgda (==2.3.3.0.2), 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	head: darcs get http://hub.darcs.net/divip/AgdaTutorial
Executables	agdapandoc
Upload date	Mon Mar 11 10:11:07 UTC 2013
Uploaded by	PeterDivianszky
Downloads	51 total

For package maintainers and hackage trustees