avatar

varkor

@varkor@mathstodon.xyz

Joined: 10/31/2022



About varkor

Category theorist and type theorist. I make q.uiver.app. Rust compiler team alumnus.

Lists

varkor has no public lists

Timeline

varkor has no activity yet