Allow legacy packages - Githubissues

eayus / sirdi

Package manager for Idris

GNU General Public License v3.0

35 stars 11 forks source link

Allow legacy packages #4

Closed claymager closed 2 years ago

claymager commented 2 years ago

Refactoring: mIO to liftIO, so HasIO functions can be used directly
Allow "legacy" dependencies, or packages already installed on the system
Show is total by default in idris2/main