This package is the companion artifact for the draft paper, "Model-View-Update-Communicate: Session Types meet the Elm Architecture".
The package consists of a Docker image containing the Links programming language with the linear MVU library described in the paper. The package also contains the examples used in the paper.
Full instructions can be found in the enclosed README file.
Funding
ERC-2015-CoG, Skye: A programming language bridging theory and practice for scientific data curation