luau-lang/luau
1
0
Fork 0
mirror of https://github.com/luau-lang/luau.git synced 2025-04-10 22:00:54 +01:00
Code Issues Projects Releases Packages Wiki Activity

Fixed typo in the the HATRA paper

Browse source
This commit is contained in:
ajeffrey@roblox.com 2021-07-19 16:19:38 -05:00
parent 6cefa191a5
commit d89d5b0b1f
2 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

BIN
papers/hatra21/hatra21.pdf
View file

Binary file not shown.

2
papers/hatra21/hatra21.tex
View file

@ -325,7 +325,7 @@ Some issues raised by mixed-mode types:
only with different flagging? only with different flagging?
\end{itemize} \end{itemize}
\emph{Related work}: this appears to be an undererxplored area. \emph{Related work}: this appears to be an under-explored area.
\section{Conclusions} \section{Conclusions}