Desktop developer. Programming language enthusiast. reenignE. Aspiring Type Theorist. λΠω Lover. Math@CMU 2019. Swift@Apple. 🏳️🌈
Desktop developer. Programming language enthusiast. reenignE. Aspiring Type Theorist. λΠω Lover. Math@CMU 2019. Swift@Apple. 🏳️🌈