{"shas":[["6feb835a32b17faabc6ade4611a36d89bab7442b","ce168bb08b084a1c92926757706fd447dd2d5a11@gmail.com","made sool semantics parallel itopl semantics\n\n- the types are there\n- the interpreter itself isn't","Radu Grigore"]],"ref":"refs/heads/master","size":1,"head":"6feb835a32b17faabc6ade4611a36d89bab7442b","push_id":37806309}