search

idris-community / inigo

Inigo: A Package Manager for Idris2
https://inigo.pm
MIT License
60 stars 7 forks source link

Remove dependency on node #42

Open Z-snails opened 2 years ago

Z-snails commented 2 years ago

I have left unused code in, but commented out for now. If we decide to go back to central package repository this might be useful.

Z-snails commented 2 years ago

OK this is completely broken for now, I'll fix it later