Hi, I started Error Prone and now work on the Angular team :) In addition to tslint (the "old way") we now have http://tsetse.info http://tsetse.info which fol

Hi, I started Error Prone and now work on the Angular team :) In addition to tslint (the "old way") we now have http://tsetse.info http://tsetse.info which follows the Error Prone model of baking checks into the TypeScript compiler and failing the compilation the same way as the type checker (for the error case). Still have some work to do to make warnings appear in code review like we talk about in the paper...