GitHub repository: mgree/mgt
Primary language: Rust
Created: 2020-07-14T22:12:21Z
Description: Implementation of "Migrating Gradual Types" by Campora et al.