🌻 🌳 🌷 🌼 Welcome to my PL garden 🌹 🌱 🌺 🌿

I build small programming languages, theorem provers, and other systems related to PLT concepts.

I sometimes write about the things I learn ✏️ in my digital notepad 📘

The latest published post was a report on Propositions as Types ⭐

I am currently working on a PL oriented proof assistant 🌱

I am also working on a page about implementing various small type systems and languages. Hopefully to be seen soon.