#icfp, #haskell25 "Rebound: Efficient, expressive, and well-scoped binding"

So far explored three interesting little lambda calculus implementations and then showed a benchmark of lennart's term