10 commits

Author	SHA1	Message	Date
Andy Friesen	9dd672bb8d	Fix some more wording. Thanks Slava!	2022-03-29 12:35:03 -07:00
Andy Friesen	17c418adce	Fix a type judgement that we wouldn't actually be able to make with this design.	2022-03-29 10:59:43 -07:00
Andy Friesen	96449acecb	Forgot two important words.	2022-03-24 14:18:57 -07:00
Andy Friesen	c9d6c134fc	Fix the subtyping theory for functions.	2022-03-24 14:18:13 -07:00
Andy Friesen	529467f63b	Update rfcs/lower-bounds-calculation.md ... Co-authored-by: vegorov-rbx <75688451+vegorov-rbx@users.noreply.github.com>	2022-03-15 13:32:48 -07:00
Andy Friesen	4fbbf7ffd4	Substantial changes to lower-bounds-calculation.md	2022-03-07 13:50:30 -08:00
Andy Friesen	f0fc84e4c3	Reword and fix references to functions that don't exist in the document.	2022-02-25 10:22:19 -08:00
Andy Friesen	fabe099a43	More prose.	2022-02-24 14:28:59 -08:00
Andy Friesen	1f9881902a	Much more prose.	2022-02-23 15:35:05 -08:00
Andy Friesen	2f7a31abc7	WIP lower-bounds calculation RFC.	2022-02-22 16:45:54 -08:00