{"push_id":676860347,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"432bf373b074369fd52c89be8f20c12afd1d93e6","before":"309382877537c18d85c60cdc44675038fe03532a","commits":[{"sha":"432bf373b074369fd52c89be8f20c12afd1d93e6","author":{"email":"b960e55a8709961c403368f94b95267a6f72e594@yahoo.com","name":"Jeremy Khawaja"},"message":"updated evaluation examples and derivation complexity definition in final paper","distinct":true,"url":"https://api.github.com/repos/JKhawaja/Explicit-Type-Theory/commits/432bf373b074369fd52c89be8f20c12afd1d93e6"}]}