AVISNA · DOCUMENTATION
Build your way from language to machine.
A structured reference for the language, compiler, developer tools, and robotics stack. Search across page descriptions and keywords, while evidence level remains visible on every page.
Language
Core syntax, data, control flow, matching, numeric and geometric types, memory, and async.
Open section →Compiler
Pipeline, LLVM, native ABI, debugging, integration, and execution.
Open section →Tooling
CLI, formatter, diagnostics, and language-server capabilities.
Open section →Robotics
Robot state, movement, navigation, simulator evidence, and examples.
Open section →Language → machine
Follow the current path from source through semantic analysis and MIR to LLVM IR and native output.
Read the pipeline →Understand errors
Use evidence-backed diagnostics to understand a problem, its location, and the documented next step.
Explore diagnostics →Work in an editor
Inspect the established LSP capabilities, including semantic diagnostics and hover information.
Open LSP docs →See behavior
Move from language concepts to tested robot and simulator scenarios without extending the evidence boundary.
Explore simulator →Follow the evidence.
Start with language fundamentals, then move toward the compiler and robotics layers as the concepts become concrete.
EVIDENCE CONTRACT
Search helps you find evidence; it does not expand the evidence.
Verified means directly supported by reviewed source, tests, or reports. Demonstrated is narrower and scenario-based. Anything beyond the evidence stays explicitly unestablished.