Here's the code: https://github.com/nykh/cs242-lambda-pi