{"head":"1bf979198c4c8e0ad889151c5a373bb1dd886795","size":1,"push_id":46591400,"commits":[{"sha":"1bf979198c4c8e0ad889151c5a373bb1dd886795","author":{"name":"Doaitse Swierstra","email":"d331e6031acc722be2308f56edceb9a0335af79c@swierstra.net"},"url":"https://api.github.com/repos/norm2782/NanoProlog/commits/1bf979198c4c8e0ad889151c5a373bb1dd886795","message":"Adapted for terms with [.] and -> constructors."}],"ref":"refs/heads/master","legacy":{"head":"1bf979198c4c8e0ad889151c5a373bb1dd886795","size":1,"push_id":46591400,"shas":[["1bf979198c4c8e0ad889151c5a373bb1dd886795","doaitse@swierstra.net","Adapted for terms with [.] and -> constructors.","Doaitse Swierstra"]],"ref":"refs/heads/master"}}