5 commits

Author	SHA1	Message	Date
ajeffrey@roblox.com	7722762310	Removed listings package	2021-09-20 14:55:16 -05:00
ajeffrey@roblox.com	1cdf53e45d	Suggestions from Lily	2021-09-17 18:45:30 -05:00
ajeffrey@roblox.com	03e8edd37b	Responding to referee comments	2021-09-15 16:46:24 -05:00
Lily Brown	c42e311bcc	HATRA '21 paper corrections (#57) ... A large number of changes to the HATRA '21 position paper. We've abandoned the 4pp limit, which allows us to add more detail to some sections, and use more appropriate wording throughout the paper. A rough changelog: * Numerous wording tweaks * Removed `\cite{???}` * Added type inference section * Introduction beefed up * Abstract slightly tweaked Co-authored-by: Alan Jeffrey <403333+asajeffrey@users.noreply.github.com>	2021-08-04 13:50:44 -07:00
Alan Jeffrey	7c7eb800f5	Add a position paper about the goals of Luau (#55) ... Added a position paper on Luau for submission to HATRA 2021 Co-authored-by: Lily Brown <lbrown@roblox.com> Co-authored-by: Andy Friesen <afriesen@roblox.com>	2021-07-20 13:41:04 -05:00