Geeks
alexhumphreys
/
inigo
Inigo: A Package Manager for Idris2
Primary Language
Idris
inigo Home Page
inigo GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
Watchers
eemailme
jhcloos