Geeks
zelinskiy
/
AgdaHtml
Html-friendly literate Agda code here
Primary Language
HTML
AgdaHtml GitHub
Markdown
Readme
0
Issues
0
Stargazers
3
Watchers
Watchers
jhcloos
zelinskiy
Krakow, PL
eemailme