Hedy: Textual Programming for the Classroom
hedy.org> Concepts are offered at least three times in different forms. This ensures that learners can practice enough with concepts and are exposed to different forms to learn their essence.
It will be interesting to see if this gradualism via redundancy* will prove effective; it is at least a brave attempt at a novel introduction to the level of formality which characterises programming languages.
* taking the same approach to syntaxes (change them early and often) that Hedy Lamarr took to spouses?