dorchard/betty-book-haskell-sessions

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

语言：Haskell · GitHub 星标：12 · Fork：1

在 GitHub 上查看原仓库