Hacker Next
Church's λ-Calculus (2023) [pdf]cs.cmu.edu
155 points by jstrieb 319 days ago | 46 comments