GitHub repository: walkerrrrrrr/mbcheck
Primary language: OCaml
Description: Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"