freest-lang/freest

A functional programming language for safe concurrency powered by context-free session types

语言：Haskell · GitHub 星标：16 · Fork：3

话题：session-types

在 GitHub 上查看原仓库