essdotteedot

Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell.

Library to provide session types to allow for static verification of protocols between concurrent computations.