A partial implementation of Luau typechecker in Agda for machine verification
Primary LanguageAgdaMIT LicenseMIT