Thanks to @puffnfresh, Idris is now usable as a library. So if you get bored over Christmas, make your own TT-based language. #hohoho
-
-
@edwinbrady No guarantees about when - plans await in the break! I may use CPP instead of codegen, that seems potentially less irritating. -
@d_christiansen No rush!
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.