/agda2html

a tool to convert literate agda to html

Primary LanguageHaskellGNU Lesser General Public License v3.0LGPL-3.0

agda2html

deprecated: use `agda --html-highlight=code` instead (last compatible version is Agda 2.5.4.2)

If you must, you can still install agda2html, e.g., using stack:

git clone https://github.com/wenkokke/agda2html.git
cd agda2html
stack install