ajeffrey@roblox.com 0bb7cd9632 Get examples to typecheck again		2022-02-08 11:17:42 -06:00
..
SmokeTest.lua	Another shot at getting the smoketest to run	2022-02-08 10:41:52 -06:00
Syntax.agda	Get examples to typecheck again	2022-02-08 11:17:42 -06:00