Thanks to @puffnfresh, Idris is now usable as a library. So if you get bored over Christmas, make your own TT-based language. #hohoho
-
-
Replying to @edwinbrady
@edwinbrady@puffnfresh Wonderful news! This also opens for splitting some features into standalone programs like ipkg building1 reply 0 retweets 0 likes -
Replying to @d_christiansen
@d_christiansen Seems to break with the githash module though on sdist. I think I might decide to care about this after the break though...1 reply 0 retweets 0 likes -
Replying to @edwinbrady
@edwinbrady Make an issue, assign to me, and I'll take care of it.1 reply 0 retweets 0 likes -
Replying to @d_christiansen
@d_christiansen I'm going to temporarily remove it so that travis still works, then I'll do that. Cheers.1 reply 0 retweets 0 likes -
-
-
Replying to @edwinbrady
@edwinbrady No guarantees about when - plans await in the break! I may use CPP instead of codegen, that seems potentially less irritating.1 reply 0 retweets 0 likes
@d_christiansen No rush!
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.