Combinator Calculus

• My English transcription of Haskell Curry's PhD thesis "Foundations of Combinatory Logic" - https://www.overleaf.com/read/rzhdyjvrzbgy
• My talk examining Curry's thesis and walking through BCKW basics - LaTeX Source
• My implementation of a "living" version of Curry's thesis in Coq, with interactive proofs - https://github.com/CharlesAverill/HCLT