Home
Hey!
There's not much here right now. That'll probably change soon. For now, posts!- Counterfactuals, trolljectures, and a proposal for logical causality - July 7, 2016
- Unified Interpreters For Dependent Languages - October 30, 2015
- Types in High School: a Reflection - September 8, 2015