@phanta.pl
not not an intuitionist
@ame.fyi
Compiler engineer moonlighting as a type theorist. Member of the Agda team.
