issues
search
idris-community
/
inigo
Inigo: A Package Manager for Idris2
https://inigo.pm
MIT License
61
stars
7
forks
source link
Updating directions based on my experience
#1
Closed
bbarker
closed
4 years ago