Hi there π Contact: (first name)(last name)@gmail.com For my work on translating category theory into πΉπ, please see https://phutoast.github.io/thai-translation-ctfp/ (WIP)