Geeks
Z-snails
/
multiplate-idr
Multiplates for Idris 2
Primary Language
Idris
MIT License
MIT
multiplate-idr GitHub
Markdown
Readme
0
Issues
1
Stargazer
1
Watcher
Stargazers
jmanuel1
Imagine Learning