{"push_id":554966518,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"50a769df6a30d9d53ead5f7ac7b34bf677dc0ad6","before":"127ac3435e2a7f06e8aa8b5eea4e3dd78cce6685","commits":[{"sha":"50a769df6a30d9d53ead5f7ac7b34bf677dc0ad6","author":{"email":"cc9269cf3c60da8ea57f830921d7a9d7213f2312@gmail.com","name":"Adrien Husson"},"message":"Multiple fixes\n\n- Fix tsubst (actually, fix typing): tvars higher than the\nsubstituted one should be decreased.\n- Fix type inference to reflect previous typing fix: no shift in the\ntype of the variable being abstracted.\n- Add details to comments about ongoing insert_kind_typing proof.","distinct":true,"url":"https://api.github.com/repos/pangel/hairy-batman/commits/50a769df6a30d9d53ead5f7ac7b34bf677dc0ad6"}]}