{"shas":[["7de873f431ae197e1b7f6280b94a8a862637d85e","e388d34fd3c0456122779e95f262c0d70198a168@ccs.neu.edu","added syntax property to universe 'disappeared-use so that keywords in world clauses point to origin and have docs","Matthias Felleisen"]],"ref":"refs/heads/master","size":1,"head":"7de873f431ae197e1b7f6280b94a8a862637d85e","push_id":38472666}