About varkor
Category theorist and type theorist. I make http://q.uiver.app. Rust compiler team alumnus.
Lists
{username} has no public lists
Timeline
{username} has no activity yet
Category theorist and type theorist. I make http://q.uiver.app. Rust compiler team alumnus.
{username} has no public lists
{username} has no activity yet