{"push_id":791520931,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"caea97e71afc290c802c341c1dbd29b4e8617834","before":"1a6b13545cec3706948f5fe0ccda9e77475213ff","commits":[{"sha":"caea97e71afc290c802c341c1dbd29b4e8617834","author":{"email":"f5584691b16a9a712917fe4b3d7a7f808a1fe369@cmu.edu","name":"Danny Gratzer"},"message":"Correctly handle wildcards so that unification works with binders","distinct":true,"url":"https://api.github.com/repos/jozefg/JonPRL/commits/caea97e71afc290c802c341c1dbd29b4e8617834"}]}