Where next

You have seen the whole language. From here:

BehaviorsOrder and show your own types, and write code that works across types without generics.

ReferenceEvery rule, precisely: numbers, types, patterns, capabilities, reduction, the knowledge graph.

Stdlib & ToolsThe compiler's options, providers, the standard library, the editor, the graph tools and the debugger.

BenchmarksHow Resid compares, and why.

The language specification (resid_specification.txt) and the build log (PROGRESS.md) in the repository record every decision and its reason.