Implementing a small functional language with a combinator based graph-reduction machine - View it on GitHub