@varkor@mathstodon.xyz
Joined: 10/31/2022
106
Followers
52
Following
Category theorist and type theorist. I make http://q.uiver.app. Rust compiler team alumnus.
varkor has no public lists
varkor has no activity yet