Alan Jeffrey 7721955ba5 Prototyping: add semantic subtyping (#424) ... Adds subtyping to strict mode.		2022-03-23 15:02:57 -05:00
..
ToString.agda	Prototyping: add semantic subtyping (#424)	2022-03-23 15:02:57 -05:00