leo/docs
Alessandro Coglio 6bfe530922 [ABNF] Improve some rule names.
Based on a recent discussion on Slack, and on some related slight terminological
changes in the documentation of the Aleo instructions, this commit similarly
improves the Leo nomenclature for expressions involving the logical operators.

The attribute 'bitwise' for `&` and `|` and `^` has been dropped, since the
operations also operate on booleans besides integers.

Given that the operation and method names `or` and `xor` for inclusive and
exclusive disjunctions (as opposed to `ior` and `xor`), the unqualified
'disjunction' now refers to the inclusive one.

The non-strict `&&` and `||` are now called 'conditional' (as done in other
languages), and thus the ternary one has been expanded to 'conditional ternary'.

This does not change the Leo language; it just improves the nomenclature derived
from the grammar.
2022-07-04 15:45:11 -07:00
..
error-guides merge testnet3 2022-02-28 09:42:37 -08:00
grammar [ABNF] Improve some rule names. 2022-07-04 15:45:11 -07:00
rfc Merge pull request #1414 from AleoHQ/rfc/static-circuit-members 2021-10-27 21:46:34 -07:00
compiler-phases.pdf adds compiler phases pdf 2021-08-05 20:17:10 +03:00