kailua_check (cargo): Type checker for Kailua
Keywords: language|type-checker|kailua|lua|type-system|vscode-extension