Geeks
shmish111
/
inigo
Inigo: A Package Manager for Idris2
Primary Language
Idris
inigo Home Page
inigo GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
No issues in this repository yet.