7 Commits

Author	SHA1	Message	Date
Tony Garnock-Jones	5e89bfb2ca	Fix typos	2019-08-18 14:22:21 +01:00
Tony Garnock-Jones	c7bae6eff8	tag -> label; slot -> field	2019-08-18 14:21:35 +01:00
Christopher Lemmer Webber	17368c8961	Correct total ordering and canonicalization	2019-08-18 13:56:23 +01:00
Christopher Lemmer Webber	90ed5bc6d7	Be more precise when talking about records (rather than saying objects)	2019-08-18 13:56:23 +01:00
Christopher Lemmer Webber	bcd7dcba79	Typo fix: usually strings => usually symbols	2019-08-18 13:56:23 +01:00
Christopher Lemmer Webber	ba62d998ca	A few small nits fixed in the tutorial	2019-08-18 13:56:23 +01:00
Christopher Lemmer Webber	dca049ce46	Add Preserves tutorial	2019-08-18 13:56:23 +01:00