keigoi/caramel-mpst

Experimental -- Multiparty Session Types for Caramel (https://caramel.run/)

语言：Erlang · GitHub 星标：6 · Fork：1

在 GitHub 上查看原仓库