lauramcastro/sessiontypechecker

This is a rebar3 plugin to typecheck multiparty sessions in Erlang projects to ensure conformance to the system global type that specifies its expected global protocol.

语言：Erlang · GitHub 星标：2 · Fork：0

话题：erlang · rebar3-plugin · session-types · type-checking

在 GitHub 上查看原仓库