@hackage / PandocAgda

Pandoc support for literate Agda

Version Deprecated package2.3.3.0.2

About

Metadata

  • Last updated , by PeterDivianszky
  • License BSD-3-Clause

  • Maintained by: Péter Diviánszky <divipp@gmail.com>

  • Lottery factor: 0

Links

Installation

This package has been deprecated

Readme

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.