SimonJF / mbcheck

Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"
14Updated last week

Alternatives and similar repositories for mbcheck:

Users that are interested in mbcheck are comparing it to the libraries listed below