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 a1325c106d First cut github actions
2022-02-07 17:04:34 -06:00
..
Examples Got a smoke test to run 2022-02-07 16:17:06 -06:00
FFI Exit code 1 on errors 2022-02-07 16:34:03 -06:00
Luau Got a smoke test to run 2022-02-07 16:17:06 -06:00
.gitignore First cut reading JSON into Agda 2022-02-02 19:01:33 -06:00
Examples.agda Added bare-bones examples 2022-02-04 16:52:39 -06:00
PrettyPrinter.agda First cut github actions 2022-02-07 17:04:34 -06:00
README.md Got a smoke test to run 2022-02-07 16:17:06 -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 Main.agda

and run!

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