@Lenary Then, obviously, finding the person who wrote the compiler and telling them they're an idiot, which is a bit easier in my case ;).
@Lenary I think I only get away with it because I'm whinging at myself, to be honest...
-
-
@edwinbrady also, last i checked, idris doesn't have really fucking weird variable ownership rules. -
@Lenary No, but we like to think we can implement them if you're not confused enough already... - 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.