{"push_id":648583061,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"e9b3169843577d2fd8ebfa35df9bfb9b3b573063","before":"afafbe54e627394b32d392cb239ea3be46e45db4","commits":[{"sha":"e9b3169843577d2fd8ebfa35df9bfb9b3b573063","author":{"email":"3b42ec3206eb5a1e7033693eeea78ef937bc3aeb@gmail.com","name":"corwin"},"message":"FEATURE: In term translation of lambda expressions, analyze to see\n  which sub-expressions actually depend on the argument.\nDEVELOP: Further refined some type information to carry out the proof\n  of f|nw in Shrink.","distinct":true,"url":"https://api.github.com/repos/corwin-of-amber/bellmaniac/commits/e9b3169843577d2fd8ebfa35df9bfb9b3b573063"}]}