Beginner resources for formalizing lambda calculichrishenson.net3 points·jwdunne··0 commentsOpen articleSaveView on HN