Lambda Calculus based programming language that recognizes Church encoded structures - View it on GitHub