Mechanics, or Magic?: STLC and Propositional Logic [Intro to HoTT, No. 6, Part 0]

[@srghma]

Waiting, tnx

[@SoteriosXI]

HOLY COW SCOOB THAT CAN'T BE PROPOSITIONAL LOGIC THAT'S M-M-M-M-M-MAGIC!

[@kamilziemian995]

I want to learn type theory enough, to understand HoTT. Should I start with your videos or study something else before?

[@bibliusz777]

Will you do videos on linear logic?