par 0.2.1

Session types, as an implementation of linear logic with MIX
Documentation