Beginner resources for formalizing lambda calculi #1 Post by jwdunne » Sun, May 11, 2025, 2:41 PM UTC Beginner resources for formalizing lambda calculichrishenson.net