{"push_id":960883074,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f946e0858cb7c0eeca5ddee299653b5dbef6c559","before":"1208d0cfd4298bb139990bf4319c66343a73e114","commits":[{"sha":"f946e0858cb7c0eeca5ddee299653b5dbef6c559","author":{"email":"1e455d5c6f0d01dc80c35171109331ef6d84093e@csail.mit.edu","name":"Adam Chlipala"},"message":"Start of appendix on Coq pragmatics","distinct":true,"url":"https://api.github.com/repos/achlipala/frap/commits/f946e0858cb7c0eeca5ddee299653b5dbef6c559"}]}