The best feature of Rust is that I’m allowed to name a variable “class”
-
… and Isabelle uses "typ"
-
-
why am I not surprised that this is coming from you
-
Maybe because I've been saying for years, a) features exist so they can be used, and b) arbitrary choices (e.g. choice of abbreviation) are not intuitive, while taking the uniquely obvious option, even if it's slightly inconvenient, is.
- Show replies
New conversation -
-
-
myb yv gt tm t tpe al tht bt sm f s r bsy ppl
-
… not sure if I'm having a stroke
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.