silly-church A small example of transforming a silly arithmetic language into Church encoded lambda calculus using the nanopass framework. The code is described in this accompanying post.