issues
search
idris-community
/
inigo
Inigo: A Package Manager for Idris2
https://inigo.pm
MIT License
61
stars
7
forks
source link
Add closing quote in shell command
#35
Closed
AlexDikelsky
closed
3 years ago