Geeks
alexhumphreys
/
verpackung
A package set for idris2
Primary Language
Dhall
MIT License
MIT
verpackung GitHub
Markdown
Readme
0
Issues
2
Stargazers
3
Watchers
Watchers
alexhumphreys
eemailme
jhcloos