{"shas":[["1af7dc8bb5a2bb03adfd17c328a1d1d0b55f3722","2ab5dffb42a3e7f72a5da4dda8156124ac6d4d7d@gmail.com","better match intended semantics of OpenTheory names\n\nrather than using strings, now have a type abbreviation otname for\nstring list * string. it might be worth writing more operations on this\ntype (like for manipulating the namespace).","Ramana Kumar"]],"ref":"refs/heads/logging","size":1,"head":"1af7dc8bb5a2bb03adfd17c328a1d1d0b55f3722","push_id":43038776}