PandocAgda (hackage): 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.
Keywords: bsd3|dependent-types|library|program