README.md

Haskey - Design Document

Document describing some implementation details of Haskey.

The master branch only contains the LaTeX file, but the with-pdf branch also contains a PDF version.