type theory, dependent types, type systems, HoTT, formal types
No more posts from scribe's subscribed feeds.
Press ? anytime to show this help