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.

Changelog

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	194 total (18 in last 30 days)

Modules

Agda
- Interaction
  - Highlighting
    - Agda.Interaction.Highlighting.PandocHTML
  - Agda.Interaction.PandocConvertOptions
  - Agda.Interaction.PandocOptions
- Agda.PandocMain

Downloads

PandocAgda-2.3.3.0.2.tar.gz [browse] (Cabal source package)
Package description (included in the package)

Maintainers' corner

For package maintainers and hackage trustees

edit package information