Geeks
HeinrichApfelmus
/
agda-notes
Various notes on Agda and agda2hs
Primary Language
Agda
Apache License 2.0
Apache-2.0
agda-notes GitHub
Markdown
Readme
1
Issue
2
Stargazers
1
Watcher
Stargazers
HeinrichApfelmus
Leipzig
Unisay
Berlin