Where to go next

A lesson of the course on the Soma programming language. Every output on this page was printed by soma 3.2.4: the build writes each file to an empty folder and runs each command.

• soma docs agent, or https://soma-lang.dev/llms.txt: the language on one page. soma docs skeleton: everything about frames, holes and locks. soma docs flesh: the syntax a body needs, to hand to whoever fills a hole.

• soma example invariant state_machine lists verified programs with those features; soma example <id> prints one. Start from a working program rather than from nothing.

• https://soma-lang.dev/docs/guarantees.md lists what is proven, what is only enforced at runtime, and what is not covered at all. Read it before you tell a user that something is safe.

• soma init myapp, or soma init --skeleton myapp for a large one.