lauramcastro / sessiontypechecker Goto Github PK
View Code? Open in Web Editor NEWThis 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.
License: Apache License 2.0