Public release v1.8.0 · Spec v0.2.0-draft · Star on GitHub
crisp

Documentation

Language overview, CLI, known limitations, and links into the draft specification on GitHub. Prefer the tutorial if you are new.

Latest version

✓ v1.8.0 (public release)

Requires Rust 1.85+. Install with cargo install crisp-lang --locked. Spec remains v0.2.0-draft — treat “spec-complete” claims cautiously. v1.8.0: else if, optional record commas, parse/lex file:line:col, unary - on float, checking-position int→float, Copy records, harness args from CIR, implicit vec<T> and xs[i], prelude exp/sin/cos/tanh/sqrt, extern rust scalars (#109–#120). v1.7.3: path deps (#105); crisp run cwd is the crate root (#106).

Language summarySyntax surface and lowering overview CLI referencecrisp check, emit, build, run, test Known limitationsHonest gaps vs the draft spec Draft specCrispLang SPECS 0.2.0 on GitHub Error catalogDiagnostic codes Spec ↔ impl deltaWhere implementation trails the draft

Architecture in one line

.crp → resolve → typeck → ownership → CIR → Rust → rustc → native

See the README for philosophy, sealed crates, and repository layout.