Session-types Packages

This package is for experimenting with session types

This package is for experimenting with MP session types

A deadlock-free communication API for web workers based on (a subset of) session types.