PandocAgda
Version 2.3.3.0.2 revision 0 uploaded by PeterDivianszky.
Package meta
- Synopsis
- Pandoc support for literate Agda
- Description
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.
- Author
- Péter Diviánszky
- Bug reports
- n/a
- Category
- Dependent types
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- Péter Diviánszky <divipp@gmail.com>
- Package URL
- n/a
- Stability
- n/a