undergrad at umd interested in types, formal verification, compilers, logic, category theory, and abstract algebra :)

Γ, me ⊢ simps(type systems)
---------------------------------
Γ ⊢ me

Plays Factorio, Noita, Diplomacy, Tetris, Rhythm games