doc

This directory contains:

• example - the Lin and STM examples from ../README.md with small tests of the Hashtbl module.

• paper.md - a paper presenting the project (in Markdown format)

• paper.pdf - the same paper presenting the project (in pdf format)

• paper-latex - is the LaTeX source code for above

• paper-examples - the Lin and STM examples from the paper with (slightly larger) tests of the Hashtbl module.