I’m a poly-paradigm developer, primarily interested in how how type systems can be used as a tool for thought. Implementing dependent type systems at YesLogic.