Brendan Zabarauskas on Twitter: "@nottheword Hmm, trying to communicate the importance of UTT (Zhaohui Luo's Unified Theory of dependent Types)?" / Twitter

Instructions followed

Replying to

Hmm, trying to communicate the importance of UTT (Zhaohui Luo's Unified Theory of dependent Types)?

Replying to

Her favourite theory

Conversation