pufuwozu/roy — pull request #116 by gregwebs (2012-02-23 22:08:53+00:00)
Title: document well-typedness of object subtypes

Please link to the docs - they are sorely needed!