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

Problems

The navigation on the left is hardcoded in templates/template.html.