Scilla is under active research and development and hence parts of the specification described in this document are subject to change. Scilla currently comes with an interpreter binary that has been integrated into two Scilla-specific web-based IDEs. Trying out Scilla presents the features of the two IDEs.
Note that Scilla does not have a type checker implemented yet and hence type safety of contracts written in Scilla is not guaranteed.