PhD student in programming languages at Princeton. 🐅


I post about functional programming, metaprogramming, proof assistants / IDEs, and sometimes about linguistics, or Turkish politics and Turkey.