luau-lang/luau
1
0
Fork 0
mirror of https://github.com/luau-lang/luau.git synced 2025-05-04 10:33:46 +01:00
Code Issues Projects Releases Packages Wiki Activity
luau/prototyping
History
ajeffrey@roblox.com de2230fb2a Added more files to .gitignor
2022-02-08 13:53:02 -06:00
..
Examples Get examples to typecheck again 2022-02-08 11:17:42 -06:00
FFI Try to get cabal weirdness not to be weird 2022-02-07 22:03:58 -06:00
Luau Another shot at getting the smoketest to run 2022-02-08 10:41:52 -06:00
.gitignore Added more files to .gitignor 2022-02-08 13:53:02 -06:00
Examples.agda Added bare-bones examples 2022-02-04 16:52:39 -06:00
PrettyPrinter.agda Renaming Main to PrettyPrinter 2022-02-07 17:20:56 -06:00
README.md Updated README 2022-02-07 17:09:58 -06:00

README.md

Prototyping Luau

An experimental prototyping system for the Luau type system. This is intended to allow core language features to be tested quickly, without having to interact with all the features of production Lua.

Building

First install Haskell and Agda.

Install dependencies:

  cabal update
  cabal install --lib aeson scientific vector

Then compile

  agda --compile PrettyPrinter.agda

and run!

  luau-ast Examples/SmokeTest.lua | ./PrettyPrinter