{"push_id":812005964,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1c6e037ad461e6e15c45b73ffca3024886527a3a","before":"54da62073ca041471928019a2a8c40616f7452b4","commits":[{"sha":"1c6e037ad461e6e15c45b73ffca3024886527a3a","author":{"email":"359d344560af299d17abb4eee94cd78dd5f962e1@gmail.com","name":"Hiroshi Sakurai"},"message":"added first class polymorphism and gradual typing","distinct":true,"url":"https://api.github.com/repos/hsk/type-systems-scala/commits/1c6e037ad461e6e15c45b73ffca3024886527a3a"}]}