3 Commits

Author	SHA1	Message	Date
Arseny Kapoulkine	1b20fcd43c	Sync to upstream/release/539 (#625)	2022-08-04 15:35:33 -07:00
Arseny Kapoulkine	b1cfaf5305	Sync to upstream/release/537 (#607)	2022-07-21 14:16:54 -07:00
Lily Brown	7ffb5fc4fd	Add Luau.Ast.CLI target (#345) ... Adds a `luau-ast` CLI that dumps Luau source to JSON. @asajeffrey and I are planning to use this functionality to construct an Agda model of the Luau type system/operational semantics, to allow formally proving properties of Luau's type systems.	2022-02-07 12:08:43 -08:00