{"push_id":767505105,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"28a30dbce8c86f9437007dced023fb5907e449dc","before":"3eb148473dea51e34a631468bb8d3caba5e4a1f6","commits":[{"sha":"28a30dbce8c86f9437007dced023fb5907e449dc","author":{"email":"19bc1d1cf4dad233d26a019619bbdb8222a33017@galois.com","name":"Joe Hendrix"},"message":"Introduce Expr, Decl, and Env types.","distinct":true,"url":"https://api.github.com/repos/GaloisInc/lean-haskell-bindings/commits/28a30dbce8c86f9437007dced023fb5907e449dc"}]}