Added some more HATRA intro

papers/hatra21/bibliography.bib

@@ -1,7 +1,28 @@
+@Misc{Roblox,
+  author =    {Roblox},
+  title =     {What is {Roblox}},
+  year = 2021,
+  url = {https://corp.roblox.com},
+}
+
 @Misc{Luau,
   author =    {Roblox},
-  title =        {The Luau Programming Language},
-  year = 2020,
+  title =        {The {Luau} Programming Language},
+  year = 2021,
   url = {https://luau-lang.org},
 }
 
+@Misc{Lua,
+  author =    {Lua.org and {PUC}-Rio},
+  title =        {The {Lua} Programming Language},
+  year = 2021,
+  url = {https://lua.org},
+}
+
+@Misc{AllEducators,
+  author =       {Roblox},
+  title =        {Roblox Education: All Educators},
+  year =         {2021},
+  url =          {https://education.roblox.com/en-us/educators},
+}
+

papers/hatra21/hatra21.tex

@@ -27,16 +27,26 @@
 
 \section{Introduction}
 
-The Luau Programming Language~\cite{Luau}
-is the scripting language used by developers of Roblox
-experiences.
+The Roblox~\cite{Roblox} platform allows anyone to create shared,
+immersive, 3D experiences.  At the time of writing, there are
+approximately eight million experiences available on Roblox, created
+by eight million developers.  Roblox developers are often young, for
+example there are over 200 Roblox coding camps in over 65 countries
+listed at~\cite{AllEducators}.
+
+The Luau programming language~\cite{Luau} is the scripting language
+used by developers of Roblox experiences. Luau is derived from the Lua
+programming language~\cite{Lua}, with additional capabilities,
+including a type inference engine.
+
+This paper will discuss some of the goals of the Luau type system, and
+why those goals are slightly different from other type systems.
 
 \section{Infallible types}
 \section{Strict types}
 \section{Nonstrict types}
 \section{Conclusions}
 
-\bibliographystyle{ACM-Reference-Format}
-\bibliography{bibliography}
+\bibliographystyle{ACM-Reference-Format} \bibliography{bibliography}
 
 \end{document}