search

eayus / sirdi

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

Merge refactor in to main #30

Open Z-snails opened 2 years ago

Z-snails commented 2 years ago

What needs to be done before the refactor can replace the current main branch? I will soon have some time to work on sirdi, so I am happy to help get this done.

I think this should be done soon as main is currently the default branch, so people might not be aware of the refactor branch.