13 commits

Author	SHA1	Message	Date
ajeffrey@roblox.com	b80aac3db2	typo	2022-10-18 16:22:05 -05:00
ajeffrey@roblox.com	f962906e20	Running example and typos	2022-10-18 11:07:26 -05:00
ajeffrey@roblox.com	9c440862b8	Better example of false +ves	2022-10-17 18:20:03 -05:00
ajeffrey@roblox.com	d0a7bca146	Better encoding of graph coloring	2022-10-17 17:01:50 -05:00
ajeffrey@roblox.com	d9a00033cc	Review comments from Ben	2022-10-14 14:00:08 -05:00
ajeffrey@roblox.com	006d1c36b3	Added links to the OSS repo	2022-10-13 15:42:51 -05:00
Alan Jeffrey	5a0fc8a946	Update docs/_posts/2022-10-31-luau-semantic-subtyping.md ... Co-authored-by: Alexander McCord <11488393+alexmccord@users.noreply.github.com>	2022-10-13 15:05:36 -05:00
ajeffrey@roblox.com	7b1553d5dc	Comments from Giuseppe Castagna	2022-10-13 14:33:10 -05:00
ajeffrey@roblox.com	c8ed2ba887	Clarified negation types	2022-10-13 11:54:25 -05:00
Alan Jeffrey	4b7d4e7679	Apply suggestions from code review ... Co-authored-by: Alexander McCord <11488393+alexmccord@users.noreply.github.com>	2022-10-13 11:41:13 -05:00
ajeffrey@roblox.com	2fc6854cac	Apply suggestions from code review	2022-10-12 14:07:04 -05:00
Alan Jeffrey	0d0c689b87	Apply suggestions from code review ... Co-authored-by: Alexander McCord <11488393+alexmccord@users.noreply.github.com>	2022-10-12 14:00:53 -05:00
ajeffrey@roblox.com	42c861bdd9	Checked in draft blog post about semantic subtyping	2022-10-11 17:23:12 -05:00