issues
search
idris-community
/
inigo
Inigo: A Package Manager for Idris2
https://inigo.pm
MIT License
60
stars
7
forks
source link
Fix some README links
#25
Closed
alexhumphreys
closed
3 years ago
alexhumphreys
commented
3 years ago
Remove some references to inigo.pm
Remove some references to inigo.pm