mbcheck. Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"

github.com/SimonJF/mbcheck

Problem

Audience

Updates

No founder updates yet. Check back soon.