Jadpo is experimental and not ready for production. These docs follow the compiler's main branch as of 5 Nov 2026. What's built · Install 0.3.0

ReferenceErrors

`syntax.logical_operator`

Logical operator written in another language's form.

Area 3, Logic; not declinable; the next step is usually the agent's.

Logical operators are the words and, or and not, for &&, || and !, and SQL's AND, OR and NOT.

example

type Open = Bool {}type Paid = Bool {}type Done = Bool {}function done(open: Open, paid: Paid) -> Done {    return Done(open && paid)}

jadpo checkcheck failed: 1 error, 1 file

error Jadpo writes and, not &&

--> main.jadpo:8:22

  |8 |     return Done(open && paid)  |                      ^^ write `and`

reason: &&, || and ! are the logical operators of JavaScript, Rust, Go, Java, C#, Kotlin and Swift; Jadpo writes them as words: and, or and not.
next: Use and instead of && (agent)
rule: syntax.logical_operator
help: https://jadpo.dev/docs/errors/syntax.logical_operator

Markdown for agents: /docs/errors/syntax.logical_operator.md.Built from Jadpo main at aee2e8f.