{"head":"2763e8c834e6ed1c5f36599bbfa3593d71579695","size":1,"push_id":45505355,"shas":[["2763e8c834e6ed1c5f36599bbfa3593d71579695","ce168bb08b084a1c92926757706fd447dd2d5a11@gmail.com","Reference implementation for typechecking.","Radu Grigore"]],"ref":"refs/heads/master"}