langston-barrrett.github.io

Blog

• Survey of Static Reasoning in Haskell
• Fun with Mypy: Reifying Runtime Relations on Types
• A Quick Tutorial on Setoids in Coq