luau-lang/luau
1
0
Fork 0
mirror of https://github.com/luau-lang/luau.git synced 2025-04-06 11:50:54 +01:00
Code Issues Projects Releases Packages Wiki Activity
584 commits 8 branches 163 tags 47 MiB
Commit graph

4 commits

Author SHA1 Message Date
Arseny Kapoulkine
2c0be898a1 Merge branch 'upstream' into merge 2022-07-21 13:37:02 -07:00
Arseny Kapoulkine
8e8ae0a01d Sync to upstream/release/537 2022-07-21 13:36:41 -07:00
Arseny Kapoulkine
e9bf182585 Sync to upstream/release/514 2022-02-11 10:43:14 -08: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