Geeks
andorp
/
TaPL
TaPL implementation bits in Idris2
Primary Language
Idris
TaPL GitHub
Markdown
Readme
1
Issue
15
Stargazers
2
Watchers
TaPL
TaPL implementation bits in Idris2