search

eayus / sirdi

Package manager for Idris
GNU General Public License v3.0
35 stars 11 forks source link

Add build script to install sirdi's dependencies #10

Closed Z-snails closed 2 years ago

Z-snails commented 2 years ago

This should make it easy to add more dependencies in future.