Customizable, solver-based type migration for the gradually-typed lambda calculus.
Primary LanguageRustGNU General Public License v3.0GPL-3.0