Unwound Stack

I noticed this weekend that most of the figures in my series of posts on the \(\lambda\) Calculus were broken– they're fixed, now.

#typetheory Fixed the figures in my series of posts on the Lambda Calculus

#typetheory Fixed the figures in my series of posts on the Lambda Calculus