@varkor@mathstodon.xyz
Joined: 10/31/2022
107
Followers
53
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