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
Lily Brown 41f84eb3a0 test cases
2022-02-17 16:18:02 -08:00
..
Examples test cases 2022-02-17 16:18:02 -08:00
FFI Implement a prototype interpreter (#353) 2022-02-09 17:14:29 -06:00
Luau Prototyping: Parse type annotations (#366) 2022-02-15 14:10:43 -08:00
Properties Prototype: added syntax for optional type annotations (#358) 2022-02-11 19:03:26 -06:00
Tests test cases 2022-02-17 16:18:02 -08:00
.gitignore test cases 2022-02-17 16:18:02 -08:00
Examples.agda Add a typeToString function to the prototype (#354) 2022-02-11 14:38:35 -06:00
Interpreter.agda Prototype: added syntax for optional type annotations (#358) 2022-02-11 19:03:26 -06:00
PrettyPrinter.agda Prototype: added syntax for optional type annotations (#358) 2022-02-11 19:03:26 -06:00
Properties.agda Add a typeToString function to the prototype (#354) 2022-02-11 14:38:35 -06:00
README.md Prototyping a small subset of Luau in Agda (#350) 2022-02-08 18:26:58 -06:00
tests test cases 2022-02-17 16:18:02 -08: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