title About I am a perpetual Math student, focusing on the intersection between Algebraic Topology, Functional Programming, Foundational Mathematical Logic