keigoi/caramel-mpst

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

Erlang