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