A functional programming language for embedded systems.