Giters
andorp
/
TaPL
TaPL implementation bits in Idris2
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
15
Watchers:
2
Issues:
1
Forks:
2
andorp/TaPL Issues
Improvement(?) for TaPL/TaPL/Chapter7Dep.idr
Closed
3 years ago
Comments count
1