Church encoded numerical computations over lambda-calculus implemented in PHP - View it on GitHub