{"shas":[["fb115e1e664fbea3cd5e8a1ffabf81cc53f4c037","8385c528391ee9a10d7cf5e4328fdd9c1e4154e4@gmail.com","Sym can now be extended\n\nand I can finally store type information in Sym and runtime checks in Def :)","Vlad Ureche"]],"repo":"TiarkRompf/virtualization-lms-core","actor":"vladureche","ref":"refs/heads/mdarrays","size":1,"head":"fb115e1e664fbea3cd5e8a1ffabf81cc53f4c037","actor_gravatar":"456d1d6154efe50e950b65f966f63a50","push_id":27247262}