Mathematics

varkor
7,043
reputation
  • U.K.
  • Member since November 03 2013
  • 611 profile views
  • Last seen Jan 02 '26 at 14:48

Type theorist and Rust compiler developer. I make q.uiver.app.