Declarative

A program is a set of bindings and outputs. No sequencing, no mutation, no side effects.

Incremental

When an input changes, only what depends on it recomputes. Outputs pull; nothing pushes.

Embeddable

The vocabulary is yours to extend. What a program reads and produces is what a host declares.

Two ways in. If you are writing programs, start with Learn and keep the standard library beside you. If you are embedding the language in an application of your own, go to Host developers. Either way, How it works is there when you want to know why.