6.28K Toots, 258 Following, 1.35K Followers · Agda team member, 1Lab main author. Charitably describable as "hinged"| types.pl
