session-types
-------------

[![Build Status](https://travis-ci.org/Munksgaard/session-types.svg?branch=master)](https://travis-ci.org/Munksgaard/session-types)

This is an implementation of session types in Rust.

Still in development, use at your own risk.

For an introduction to session types and this library, check out
[Session Types for Rust](http://munksgaard.me/laumann-munksgaard-larsen.pdf) and
the examples directory.
