Labyrinth


0 nested tags 4 notes
boolean lambdas
church numerals
y combinator
β-reduction