Thanks to @puffnfresh, Idris is now usable as a library. So if you get bored over Christmas, make your own TT-based language. #hohoho
@d_christiansen I'm going to temporarily remove it so that travis still works, then I'll do that. Cheers.
-
-
@edwinbrady sounds like a plan! -
@d_christiansen Done. Thanks :). - 2 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.