A new version is available at: https://kztk-m.github.io/lambda-eval/. This page is no longer maintained and will be removed in the future.