issues
search
eayus
/
sirdi
Package manager for Idris
GNU General Public License v3.0
35
stars
11
forks
source link
Minor dev tweaks
#2
Closed
claymager
closed
2 years ago
claymager
commented
2 years ago
Language.JSON comes from contrib?
.build/
to gitignore
.build/
to gitignore