Labyrinth


0 folders 5 notes
λ-calculus
β-reduction
boolean lambdas
church numerals
y combinator