Cubesoup/agda2html

a tool to convert literate agda to html

README

We advise installing agda2html using Stack:

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