5 Commits

Author	SHA1	Message	Date
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