{"push_id":555735399,"size":2,"distinct_size":2,"ref":"refs/heads/writeup","head":"3ff187e8b6b5b743d9f8aad8bfa9e746639f62dd","before":"09feced579f60bca109add408736a03a68029d49","commits":[{"sha":"b7a04f863531fb75f9563331b0cccf5707529fcb","author":{"email":"a6a3b52bf48dce5bc95c7204c337e48388d43c3b@gmail.com","name":"Kyle Dewey"},"message":"Added a preliminaries section.","distinct":true,"url":"https://api.github.com/repos/kyledewey/intuitionistic-logic-programming/commits/b7a04f863531fb75f9563331b0cccf5707529fcb"},{"sha":"3ff187e8b6b5b743d9f8aad8bfa9e746639f62dd","author":{"email":"a6a3b52bf48dce5bc95c7204c337e48388d43c3b@gmail.com","name":"Kyle Dewey"},"message":"Added section describing the basics of ILP.","distinct":true,"url":"https://api.github.com/repos/kyledewey/intuitionistic-logic-programming/commits/3ff187e8b6b5b743d9f8aad8bfa9e746639f62dd"}]}