{"push_id":772923373,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"b413bda95c4c0839bc165f1d5556169747ea529e","before":"192678c9ca63a3b368cf9ae1778804957b624758","commits":[{"sha":"b413bda95c4c0839bc165f1d5556169747ea529e","author":{"email":"095d06e698c5dd0da436982ef8b43b8e85ae6125@seas.harvard.edu","name":"Stephen Chong"},"message":"Some documentation, and a slightly more efficient computation if\nisGround.","distinct":true,"url":"https://api.github.com/repos/HarvardPL/Datalog/commits/b413bda95c4c0839bc165f1d5556169747ea529e"}]}