beckSource

The beck language reference

Derived from the compiler on every build.

Page
Error indexevery diagnostic code the compiler can emit, and what it means
Command referenceevery `beck` subcommand, its arguments and its flags
Effects and tiersthe effect atoms, and which tier can discharge each
The preludeevery name in scope in every module, with its inferred scheme
Forms of the languagethe reserved heads, the two surfaces, and doc comments

Also published

Page
Getting startedbuild the compiler, write a program, and see what it worked out on its own — every program on the page is compiled and run by a test
todothe sketch from the original idea, documented by beck doc
documenteda library written to show what a ## comment adds to a derived page
Compiler APIrustdoc for the nine crates the compiler and runtime are built from