{"push_id":2852104148,"size":4,"distinct_size":3,"ref":"refs/heads/understand-signature","head":"696b0853b4ddf1392a994dbb7b54d1507c9a94f2","before":"3771137420445b559548584f9cbcb85ba5668688","commits":[{"sha":"c1037477422eeb720b08a4288385cae7ec9842ee","author":{"name":"Jonathan Sterling","email":"f42196a13c804d084bd36ad40abb8e97e850212d@users.noreply.github.com"},"message":"Require .fst, .snd; improve Pp.Env (#291)\n\n* get rid of .0 notation that everyone hated\r\n\r\n* improvements to core pretty printer, to avoid variable shadowing, dumb '_'\r\n\r\n* further improvement and cleanup to Pp.Env","distinct":false,"url":"https://api.github.com/repos/RedPRL/redtt/commits/c1037477422eeb720b08a4288385cae7ec9842ee"},{"sha":"e129fbb1df26bc858f501436c0fe39408c3cafac","author":{"name":"favonia","email":"66853603a7a02eb0074944ac2aab9d63f1828cb0@gmail.com"},"message":"Tail recursion, maybe?","distinct":true,"url":"https://api.github.com/repos/RedPRL/redtt/commits/e129fbb1df26bc858f501436c0fe39408c3cafac"},{"sha":"3bb38d6f7fdb59d018e58a123ba51caae6ffa1bd","author":{"name":"favonia","email":"66853603a7a02eb0074944ac2aab9d63f1828cb0@gmail.com"},"message":"Update the highlighting (needs more CCHM).","distinct":true,"url":"https://api.github.com/repos/RedPRL/redtt/commits/3bb38d6f7fdb59d018e58a123ba51caae6ffa1bd"},{"sha":"696b0853b4ddf1392a994dbb7b54d1507c9a94f2","author":{"name":"favonia","email":"66853603a7a02eb0074944ac2aab9d63f1828cb0@gmail.com"},"message":"Prove some theorem for fun.","distinct":true,"url":"https://api.github.com/repos/RedPRL/redtt/commits/696b0853b4ddf1392a994dbb7b54d1507c9a94f2"}]}
{"actor":{"display_login":"favonia"}}