v0.2 2017-01-30 London

For sessions:

• use result package.
• adjust terminology, rename suspended computations from "negation" to "continuation"

v0.1 2016-09-06 Nagoya

First release.