GitHub PushEvent at 2014-08-10 17:02:04
Repository: pts
Actor: Blaisorblade
Payload: {"shas":[["03ebc970c70dce06015e64984b9d2440642c06a4","7d29c16196417912ba1e9a6133cd4095f2f879e8@gmail.com","Change representation for PTS instances (#100)\n\nThis enables testing for PTS containment (in next commit).\n\nThe conversion of instances was done through search-n-replace to reduce\nthe potential for bugs.","Paolo G. Giarrusso",true],["423bb1b5a4112f1a5cae8ce28e236a81e94aa69f","7d29c16196417912ba1e9a6133cd4095f2f879e8@gmail.com","Add test for PTS syntactic containment (#100)\n\nFrom the first version, I've incorporated various changes, to match spec\nmore directly and to make the code fusible (just as a style exercise,\nnot because performance would actually matter).","Paolo G. Giarrusso",true],["d5df43c07a46681fecf9ee39eb799d79feb1189e","7d29c16196417912ba1e9a6133cd4095f2f879e8@gmail.com","Merge pull request #116 from Blaisorblade/topic/reifyPts2\n\nReify PTS & implement language subtyping, v2","Paolo G. Giarrusso",true]],"size":3,"ref":"refs/heads/master","head":"d5df43c07a46681fecf9ee39eb799d79feb1189e"}