This website requires JavaScript.
Explore
Help
Register
Sign In
mirrors
/
luau
Watch
1
Star
0
Fork
0
You've already forked luau
mirror of
https://github.com/luau-lang/luau.git
synced
2024-11-16 06:45:44 +08:00
Code
Issues
Actions
3
Packages
Projects
Releases
Wiki
Activity
568
Commits
9
Branches
146
Tags
40
MiB
2c0be898a1
Commit Graph
1 Commits
Author
SHA1
Message
Date
Alan Jeffrey
041838a942
Prototyping a small subset of Luau in Agda (
#350
)
...
* First cut reading JSON into an Agda representation of Luau syntax
2022-02-08 18:26:58 -06:00