Giters
gallais
/
thesis
Syntaxes with Binding, Their Programs, and Proofs
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
23
Watchers:
3
Issues:
2
Forks:
gallais/thesis Issues
Any hope of updating to recent versions of Agda?
Closed
2 years ago
Comments count
2
Failed to typecheck
Closed
6 years ago
Comments count
2