{"shas":[["0524af5c89239dd152c1eb32e6e9af4d99553ef0","8dc7c09356db0b1762fb140617d7375c0a5a4131@lri.fr","notation","Andrei Paskevich"],["07e6f20b2e00ec1de80920c3417e823545e32d7c","8dc7c09356db0b1762fb140617d7375c0a5a4131@lri.fr","type checking","Andrei Paskevich"]],"ref":"refs/heads/master","size":2,"head":"07e6f20b2e00ec1de80920c3417e823545e32d7c","push_id":43934363}