{"push_id":666300650,"size":1,"distinct_size":1,"ref":"refs/heads/types_overhaul","head":"bd49d3517b65f9fa5542aa859a042f4c9f4a82dd","before":"d187dc158ae0981650bc43fba76ec787fe8f4326","commits":[{"sha":"bd49d3517b65f9fa5542aa859a042f4c9f4a82dd","author":{"email":"6e849fb695fa224780b1e434093c472eb01a081e@cogsci.jhu.edu","name":"Kyle Rawlins"},"message":"fix nasty bug in TypeEnv, add support for iota","distinct":true,"url":"https://api.github.com/repos/rawlins/lambda-notebook/commits/bd49d3517b65f9fa5542aa859a042f4c9f4a82dd"}]}