Desktop developer. Programming language enthusiast. reenignE. Aspiring Type Theorist. λΠω Lover. Math@CMU 2019.