This is the manual for Tamarin.
To compile the manual, you need pandoc and pandoc-citeproc. We recommend to use stack to install these dependencies.
stack install pandoc pandoc-citeproc
The navigation on the left is hardcoded in templates/template.html.