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

Responding to comments by jhui

Browse source
This commit is contained in:
ajeffrey@roblox.com 2023-07-20 14:49:27 -07:00
parent a0f3fcf238
commit 8b72327c54
2 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

BIN
papers/hatra23/hatra23.pdf
View file

Binary file not shown.

3
papers/hatra23/hatra23.tex
View file

@ -110,6 +110,9 @@ not play well with type-directed tooling, for example $\ANY$ cannot
provide autocomplete suggestions. Local type inference will infer more
precise union types, and hence better type-driven tooling.
At some point, we hope that error suppression will be the only difference
between strict mode and non-strict mode.
\bibliographystyle{ACM-Reference-Format} \bibliography{bibliography}
\end{document}