Geeks
aronerben
/
agda-playground
Trying out dependent types
Primary Language
Agda
BSD 3-Clause "New" or "Revised" License
BSD-3-Clause
agda-playground GitHub
Markdown
Readme
0
Issues
1
Stargazer
1
Watcher
agda-playground
Trying out dependent types