GitHub repository: lauramcastro/three_buyers
Primary language: Erlang
Created: 2022-09-30T11:12:15Z
Description: Sample project to demonstrate the use of a session type checker for Erlang