{"shas":[["6e6d5c634cbceb161224cf68f1d47e22ebbac09a","67f214a54ce00b0c228ac1feb7e0bc18b90147b6@csse.uwa.edu.au","Tidied up some of the sharing and \"where type\" constraints.\n\nThere's still more that could be improved.  But, it's clear that the SML/NJ restrictions regarding definitional specs lead to a need to replace structure sharing with a multitude of explicit tedious type sharing/with-type specifications.  So it seems reasonable to leave as much as possible of this work for now - and consider alternative approaches such as following the style used in Twelf.","rowan"]],"repo":"robsimmons/sml-cidre","actor":"rowandavies","ref":"refs/heads/master","size":1,"head":"6e6d5c634cbceb161224cf68f1d47e22ebbac09a","actor_gravatar":"16e7493bc52392d73f95ee46630ef12a","push_id":29842200}