{"push_id":543390715,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"bd9a7a60d7846e3f0516f2715fd163d00cc2c6c2","before":"5f45a35f6694ca6f3a732fcd7cfffde6fac0d06d","commits":[{"sha":"bd9a7a60d7846e3f0516f2715fd163d00cc2c6c2","author":{"email":"d500145d1456adf0ab289948d78d438ba071b2b1@alum.mit.edu","name":"Nehal Patel"},"message":"++ minimize notation alternative a little more","distinct":true,"url":"https://api.github.com/repos/lilinjn/lilKanren/commits/bd9a7a60d7846e3f0516f2715fd163d00cc2c6c2"}]}