Presenting in ~1.5 wk
...on Type Theory and Constructivist Mathematics.
I’m probably going to post a Beamer slideshow with a voice-over, however that works.
I’d like people who know this stuff to tell me if what I am saying is right but tbh I am also really pretty scared people will be like
“omg
holy shit
that is so wrong as to be totally disgusting”









