# the mechanicals

various implementations of the lambda calculus