language 1. A functional programming language which adds

CSP-like concurrency, multiple inheritance and

persistence to ML and generalises its type system. It is

similar to Galileo. Programs must be written in two type

faces, roman and italics! It has both static types and

dynamic types.