Conversation

Getting one’s hands dirty with a lambda calculus evaluator is good, as is learning type theory more generally! The first chapter of the HoTT book is a bit intense but not bad for this
3
5