Giters
andreasabel
/
proposal-agda-tutorial
Proposal for an Agda tutorial
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
10
Watchers:
5
Issues:
0
Forks:
andreasabel/proposal-agda-tutorial Stargazers
G. Allais
gallais
Mario Román
mroman42
Sandra Dylus
ichistmeinname
Ayberk Tosun
ayberkt
daniel gratzer
jozefg
Guillaume Duboc
gldubc
Vincent Huang
vincom2
Second Datke
secondwtq
Joshua Larkin
j0shualarkin
beike-zh
