Geeks
TOTBWF
/
stlc
This aims to be the most pretentious implementation of stlc in existence
Primary Language
Agda
stlc GitHub
Markdown
Readme
0
Issues
1
Stargazer
1
Watcher
Stargazers
rahulc29