@edwinbrady awesome :)
have you seen the ipkg branch?
It's working for me at least. Need testers though :D
@archaeron I'll give it a go. Thanks for your help! Will give you proper credit in tomorrow's talk :)
-
-
@edwinbrady I'm really glad someone debugs the package :) I found an issue when testing with your code https://github.com/idris-hackers/atom-language-idris/issues/60 … thanks! -
@archaeron oh, that probably explains it. I'm away from my machine but I expect it'll be easy to get everything going now. - 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.