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

Get examples to typecheck again

Browse source
This commit is contained in:
ajeffrey@roblox.com 2022-02-08 11:17:42 -06:00
parent ffd7b55fef
commit 0bb7cd9632
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
prototyping/Examples/Syntax.agda
View file

@ -17,7 +17,7 @@ ex2 : blockToString(return nil ∙) ≡
ex2 = refl ex2 = refl
ex3 : blockToString(function "f" ⟨ "x" ⟩ return x ∙ end ∙ return f ∙) ≡ ex3 : blockToString(function "f" ⟨ "x" ⟩ return x ∙ end ∙ return f ∙) ≡
"function f(x)\n" ++ "local function f(x)\n" ++
" return x\n" ++ " return x\n" ++
"end\n" ++ "end\n" ++
"return f" "return f"