{"push_id":861602875,"size":4,"distinct_size":4,"ref":"refs/heads/semantal2","head":"791f21608af956b571b229591d0743f818ded0c6","before":"a21b563e9a1e7f8cacb99a4a03683f48e27667e2","commits":[{"sha":"abd09016dc51647c1572bbc05bf6eb79ce4e98a6","author":{"email":"16a53d749d65961285d51975bb7151fbf9d11f95@gmail.com","name":"pietervdvn"},"message":"Functiontesting code","distinct":true,"url":"https://api.github.com/repos/pietervdvn/Lang/commits/abd09016dc51647c1572bbc05bf6eb79ce4e98a6"},{"sha":"6eb06453e0a9e61914102c91ab053f8f33bb9226","author":{"email":"16a53d749d65961285d51975bb7151fbf9d11f95@gmail.com","name":"pietervdvn"},"message":"Better kind show","distinct":true,"url":"https://api.github.com/repos/pietervdvn/Lang/commits/6eb06453e0a9e61914102c91ab053f8f33bb9226"},{"sha":"51abdcf2a37c6b72828b8e9aa0fa20b06f3e2d9e","author":{"email":"16a53d749d65961285d51975bb7151fbf9d11f95@gmail.com","name":"pietervdvn"},"message":"Kind calculation of type requirements/free vars, check on kinds of functions (that these are (*) )","distinct":true,"url":"https://api.github.com/repos/pietervdvn/Lang/commits/51abdcf2a37c6b72828b8e9aa0fa20b06f3e2d9e"},{"sha":"791f21608af956b571b229591d0743f818ded0c6","author":{"email":"16a53d749d65961285d51975bb7151fbf9d11f95@gmail.com","name":"pietervdvn"},"message":"Function kind check","distinct":true,"url":"https://api.github.com/repos/pietervdvn/Lang/commits/791f21608af956b571b229591d0743f818ded0c6"}]}