@edwinbrady Hey, been getting into Idris more since your book and it's great. Is there any progress on a package manager btw? Can I help?
-
-
Why :'(?
-
Personally, I think we should borrow from cargo, they've done great work on the package manager, package repository, etc.
-
We just need libpkgmgr to be written once. It can't handle everything but many of the boring questions can be abstracted.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
