Geeks
alpha-convert
/
STLC-to-SKI
Translation from STLC to SKI calculus
Primary Language
Agda
STLC-to-SKI GitHub
Markdown
Readme
0
Issues
3
Stargazers
0
Watchers
Stargazers
joom
New York City
themattchan
clayrat
Madrid