This website is automatically generated using Travis-CI. The paper and the codebase it relies on are both typecheked using Agda and the following artefacts are produced:
The paper itself as well as an extended version which are both literate Agda files.
The html version of the highlighted source code.
You probably want to start with a few examples of the solver in action.