Documentation

Learn Symbolic

Choose your path. Complete beginner or systems programmer — everything you need is here.

The exhaustive, copy-paste beginner guide. Start here if you've never touched the language.

Learn by building seven programs, from a tip calculator to Conway's Game of Life.

The whole language as short, runnable snippets.

The systematic reference — every operator, type, and construct.

The cargo-like project tool and package manager.

How the compiler compiles itself to a byte-exact fixpoint.

The mid-end and backend optimization roadmap.