Skip to content

Latest commit

 

History

History
10 lines (8 loc) · 518 Bytes

README.md

File metadata and controls

10 lines (8 loc) · 518 Bytes

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.