dorchard / betty-book-haskell-sessions

Collects examples used to produce the paper 'Session Types with Linearity in Haskell' by Orchard and Yoshida (2017).
12Updated 11 months ago

Related projects

Alternatives and complementary repositories for betty-book-haskell-sessions