So hyped for Rust 1.53, but admittedly kinda crushed that I still can't use subscripts in my identifiers… (eg. term₁, term₂, …) 😅
Conversation
apologies if this makes me a bad person… theorem provers have rotted my brain 🥴
2
2
This Tweet was deleted by the Tweet author. Learn more