Documentation

The holy-lambda documentation is available here.