Geeks
andreasabel
/
proposal-agda-tutorial
Proposal for an Agda tutorial
Primary Language
Makefile
proposal-agda-tutorial GitHub
Markdown
Readme
0
Issues
10
Stargazers
5
Watchers
Stargazers
ayberkt
University of Birmingham
beike-zh
gallais
Glasgow, Scotland
gldubc
ichistmeinname
@Cap3
j0shualarkin
Seattle, WA
jozefg
Aarhus
mroman42
University of Oxford
secondwtq
Sichuan University
vincom2
San Francisco