GitHub repository: luau-lang/agda-typeck
Primary language: Agda
Created: 2022-08-11T21:55:45Z
Description: A partial implementation of Luau typechecker in Agda for machine verification