It features terse syntax using the offside rule for

indentation. The type of an expression is inferred from the

source by the compiler but explicit type declarations are

also allowed. Nested pattern-matching, listcomprehensions, modules. Operator sections rather than

lambda abstractions. User types are algebraic, and in early

versions could be constrained by laws. Implemented by SKIcombinator reduction. The KAOS operating system is written

entirely in Miranda.