@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?
Not yet, and I don’t think there’s any serious work on one. Any help would be very much appreciated!
-
-
Maybe we can airlift
@wycats in to write one for us
- 3 more replies
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.