This version of Effpi is the companion artifact of the paper:

• Alceste Scalas, Nobuko Yoshida, Elias Benussi. Verifying Message-Passing Programs with Dependent Behavioural Types. PLDI 2019. https://doi.org/10.1145/3314221.3322484