luau-lang/luau
1
0
Fork 0
mirror of https://github.com/luau-lang/luau.git synced 2024-12-14 06:00:39 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3
luau/prototyping
History
Alan Jeffrey 5187e64f88
Implement a prototype interpreter (#353) 
* First cut interpreter
2022-02-09 17:14:29 -06:00
..
Examples Implement a prototype interpreter (#353) 2022-02-09 17:14:29 -06:00
FFI Implement a prototype interpreter (#353) 2022-02-09 17:14:29 -06:00
Luau Implement a prototype interpreter (#353) 2022-02-09 17:14:29 -06:00
Properties Implement a prototype interpreter (#353) 2022-02-09 17:14:29 -06:00
.gitignore Prototyping a small subset of Luau in Agda (#350) 2022-02-08 18:26:58 -06:00
Examples.agda Implement a prototype interpreter (#353) 2022-02-09 17:14:29 -06:00
Interpreter.agda Implement a prototype interpreter (#353) 2022-02-09 17:14:29 -06:00
PrettyPrinter.agda Prototyping a small subset of Luau in Agda (#350) 2022-02-08 18:26:58 -06:00
Properties.agda Implement a prototype interpreter (#353) 2022-02-09 17:14:29 -06:00
README.md Prototyping a small subset of Luau in Agda (#350) 2022-02-08 18:26:58 -06:00

README.md

Prototyping Luau

prototyping workflow

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