mirror of
https://github.com/luau-lang/luau.git
synced 2025-04-04 02:40:53 +01:00
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. |
||
---|---|---|
.. | ||
Analyze.cpp | ||
Ast.cpp | ||
Coverage.cpp | ||
Coverage.h | ||
FileUtils.cpp | ||
FileUtils.h | ||
Profiler.cpp | ||
Profiler.h | ||
Repl.cpp | ||
Repl.h | ||
ReplEntry.cpp | ||
Web.cpp |