This directory contains:

- [example](example) - the `Lin` and `STM` examples from [../README.md](../README.md)
  with small tests of the `Hashtbl` module.

- [paper.md](paper.md) - a paper presenting the project (in Markdown format)
- [paper.pdf](paper.pdf) - the same paper presenting the project (in pdf format)
- [paper-latex](paper-latex) - is the LaTeX source code for above
- [paper-examples](paper-examples) - the `Lin` and `STM` examples from
  the paper with (slightly larger) tests of the `Hashtbl` module.
