Anyone recommend any parsers for ASCII-style proof notation? Stuff like this: https://plfa.github.io/Lambda/#derivation
Why you shouldn't wait for "problems to come up" before making your spaces accessible.
RT @Nicole_Lee_Sch@twitter.com
I'm engaging in a lot of encounters lately where people see me masked and ask "oh should I grab a mask?" And I know it comes from a good place, but it can be really exhausting. Why? Let's talk about access labor. 1/10
🐦🔗: https://twitter.com/Nicole_Lee_Sch/status/1575508198504669184