issues
search
eayus
/
sirdi
Package manager for Idris
GNU General Public License v3.0
35
stars
11
forks
source link
Add make install command
#14
Closed
Z-snails
closed
2 years ago
Z-snails
commented
2 years ago
Makes it convenient to install sirdi globally
Makes it convenient to install sirdi globally