Geeks
asajeffrey
/
lagda
LaTeX macros for Literate Agda
Primary Language
Agda
Mozilla Public License 2.0
MPL-2.0
lagda GitHub
Markdown
Readme
0
Issues
1
Stargazer
2
Watchers
Watchers
eemailme
jhcloos