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

Fitting main body into 1p

Browse source
This commit is contained in:
ajeffrey@roblox.com 2023-07-21 12:48:08 -07:00
parent 8b72327c54
commit 382b5ebb12
2 changed files with 2 additions and 2 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.

4
papers/hatra23/hatra23.tex
View file

@ -29,9 +29,9 @@
\begin{abstract}
In HATRA 2021, we presented \emph{The Goals Of The Luau Type System},
describing the human factors of designing a type system for a
describing the human factors of a type system for a
language with a heterogeneous developer community. In this extended
abstract we provide a progress report on the work so far, focusing on
abstract we provide a progress report, focusing on
the unexpected aspects: semantic subtyping and type error
suppression.
\end{abstract}