issues
search
eayus
/
sirdi
Package manager for Idris
GNU General Public License v3.0
35
stars
11
forks
source link
Add usage text
#32
Closed
iacore
closed
2 years ago