2 Commits

Author	SHA1	Message	Date
Alan Jeffrey	916c83fdc4	Prototype: Added a discussion of set-theoretic models of subtyping (#431) ... * Added a discussion of set-theoretic models of subtyping to the prototype	2022-03-31 18:29:42 -05:00
Alan Jeffrey	7721955ba5	Prototyping: add semantic subtyping (#424) ... Adds subtyping to strict mode.	2022-03-23 15:02:57 -05:00