Brendan Zabarauskas on Twitter: "@noneuclideangrl (says me scrolling past a thread of type theory implementors struggling to design universe level polymorphism)" / Twitter

self-referentialism was a mistake

easy to fix: just add a cumulative hierarchy of universes

Replying to

(says me scrolling past a thread of type theory implementors struggling to design universe level polymorphism)

Conversation