Basic, automatic JavaScript testing. TypedJS will soon provide more complex forms of program specification, and analysis. The goal: safe, correct JavaScript.