atscntrb-hx-mysession-2/README.md

This package is for experimenting with session types

# Dyadic Session Types

(* ****** ******* *)

```
(*
//
// HX-2016:
// This is an experimental
// implementation of session types
//
*)
```

(* ****** ******* *)

```
(*
//
// HX:
// For documentation,
// please read the paper:
// https://arxiv.org/abs/1603.03727
//
*)
```

(* ****** ******* *)

(* end of [README.md] *)