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 90e356c77c Try to get cabal weirdness not to be weird
2022-02-07 21:40:13 -06:00
..
Examples Got a smoke test to run 2022-02-07 16:17:06 -06:00
FFI Try to get cabal weirdness not to be weird 2022-02-07 21:40:13 -06:00
Luau Trying to get it to compile with Agda 2.6.0 2022-02-07 18:10:13 -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 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