Curry Feys (lambda-calculus II)
Channel: James Wilson
Date: 08/02/2021

Substitution needs rules.  Curry-Feys is one such system and knowing how to substitute properly is worth the work.  Here the slides (with corrections!) https://slides.com/jameswilson-3/curry-feys