This is an old revision of the document!
This page will describe artifacts associated to SecDart which is an extension to the Dart programming language with gradual security typing.