Geometric Type Theory, Done Two Ways

4 points | by measurablefunc 9 hours ago