Geeks
Trebor-Huang
/
STLC
Primary Language
Agda
STLC GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
Watchers
eemailme
Trebor-Huang
Internal cat of a doughnut