home|about
0 folders5 notes
λ-calculus
β-reduction
boolean lambdas
church numerals
y combinator