{"shas":[["2f501309c4329454f6b57fc8a1a1a5bba74ce96b","ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","Bug fix for extistentials.","DavePearce"],["5295ddc627b8b6c72c43db4b0581669f1089a5bf","ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","Chasing an interesting bug ...","DavePearce"],["1f33ac7a978085ade6e33aa8170065da5a8b3e99","ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","Somewhat radical and potentially expensive change.  Types are now automatically normalised.  There is no way to construct an unnormalised type.","DavePearce"],["1ca002303d6fb3a2d47968997d6cdba6938bb26d","ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","Bug fix for record construction.","DavePearce"],["e02d0f3bf0a87375d4364b0d1d58d29c852cb352","ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","Bug fix for function applications.","DavePearce"],["b9c845989f8d6325f33921a7c1a4594d802d8264","ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","Kind of making progress, but not really.","DavePearce"],["ec285b7afd94e4003631e182c1fb04a8998c9f9b","ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","Bug fix for function type construction.","DavePearce"],["8ebee67f80267cf049fa3f36022606bbcf9264c5","ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","Bug fix for labels.  Standard library compiles again.","DavePearce"],["3a236f99a8d474b29550456c76d97b4ea945c11c","ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","Encountered a genuine problem with rewriting in the presence of recursive data types.","DavePearce"]],"ref":"refs/heads/devel","size":9,"head":"3a236f99a8d474b29550456c76d97b4ea945c11c","push_id":42640467}