Commit graph

3 commits

Author SHA1 Message Date
ajeffrey@roblox.com
121bc52cc3 Exit code 1 on errors 2022-02-07 16:34:03 -06:00
ajeffrey@roblox.com
4fbca71dcd Added first cut syntax 2022-02-03 14:16:05 -06:00
ajeffrey@roblox.com
7ae6aca387 First cut reading JSON into Agda 2022-02-02 19:01:33 -06:00