{"shas":[["11608818a546b2c3c51ffc9f3fb51607ef1350ee","ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","Working on the subtyping relation now.","DavePearce"],["965d6c5d3efbcac3b1d831c72e3dfd075fccbff9","ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","Ok, subtype operator is now mostly done.  Need to sort out the issue of subtypes versus suptypes, however.  Also, need to add cases for intersection and difference.","DavePearce"]],"ref":"refs/heads/devel","size":2,"head":"965d6c5d3efbcac3b1d831c72e3dfd075fccbff9","push_id":41598421}