Post #2093351

I just made my first contribution to @SamToth's `agda-synthetic-categories` today. This is a really cool library which builds on the recent Triangulated Type Theory of Gratzer and friends. Definitely worth checking out! https://samtoth.github.io/agda-synthetic-categories/