@jonsterling staged Idris?
@psygnisfive @jonsterling Ah, so when you said people were awful for liking tactics, you changed your mind. Excellent!
-
-
@edwinbrady@jonsterling i clarified :P “tactic” is just a fancy word for “function that might fail” which is fine as a thing in the lang -
@edwinbrady@jonsterling the problem i have is when they’re used as a secondary language, as in coq or idris - 4 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.