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

Added acknowledgements

Browse source
This commit is contained in:
ajeffrey@roblox.com 2022-10-19 18:13:31 -05:00
parent ddff873dd8
commit cd24211593
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
docs/_posts/2022-10-31-luau-semantic-subtyping.md
View file

@ -262,6 +262,10 @@ Semantic subtyping has removed one source of false positives, but we still have
The quest to remove spurious red squiggles continues! The quest to remove spurious red squiggles continues!
## Acknowledgments
Thanks to Giuseppe Castagna and Ben Greenman for helpful comments on drafts of this post.
## Further reading ## Further reading
If you want to find out more about Luau and semantic subtyping, you might want to check out… If you want to find out more about Luau and semantic subtyping, you might want to check out…