Agda, Finally...

A collection of formalizations of simply typed lambda calculus with well scoped deburijn index in Agda, ... with a slightly fancier frontend.

Building

Requirements:

• agda-2.8.0
• agda-stdlib-2.3
• node

$ npm install    # install dependencies
$ npm run build  # build site
$ npm run serve  # start preview server

License

I don't know, but CC-BY-4.0 seems a good fit for something like this...