Functional programming is becoming successful. So much for avoiding success at all costs. Good thing dependent types exist. :D
-
-
@edwinbrady I prefer to think it's being applied. ;) -
@p_minten Ah, an elimination rule, of course. Carry on :).
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.