Giters
emarzion
/
SystemT
An interpreter for Gödel's System T
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
11
Watchers:
3
Issues:
0
Forks:
0
emarzion/SystemT Issues
No issues in this repository yet.