TScert: A Sound Core for TypeScript

9 points | by bpierre a day ago