Verified message-passing programs in Dotty
This version of Effpi is the companion artifact of the paper: