Session-types Packages

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

This package is for experimenting with session types

This package is for experimenting with MP session types