Geeks
sarajuhosova
/
agda2hs-collection
Agda2HS Collection (MSc Thesis)
Primary Language
Agda
GNU General Public License v3.0
GPL-3.0
agda2hs-collection GitHub
Markdown
Readme
0
Issues
2
Stargazers
1
Watcher
Stargazers
omelkonian
University of Edinburgh
stites
@nuprl