Amélia Liao (@amy@types.pl) - types.pl
6.4K Toots, 257 Following, 1.35K Followers · Agda team member, 1Lab main author. Charitably describable as "hinged"| types.pl
6.4K Toots, 257 Following, 1.35K Followers · Agda team member, 1Lab main author. Charitably describable as "hinged"| types.pl
