ericwang385 / typewhich Goto Github PK
View Code? Open in Web Editor NEWThis project forked from nuprl/typewhich
Customizable, solver-based type migration for the gradually-typed lambda calculus.
Home Page: https://zenodo.org/record/5141479
License: GNU General Public License v3.0