@ame.fyi
61 Followers · 8 Following
Compiler engineer moonlighting as a type theorist. Member of the Agda team.
Nothing here yet.
