TScert: A Sound Core for TypeScript

by bpierre | View on Hacker News