SKI combinator calculus implemented in rust - View it on GitHub