New release

• Added weak subtyping with co/contra variant rules for higher order session types
• Added infinite delegation example
• Added weights for non-deterministic choices and branches
• Added interpreter for processes

ACMDL

Snapshot for distribution from ACM Digital Library

revision after artifact evaluation

This is a minor release in which comments have been added extensively to all public functions.