Negates a boolean expression.
Aliases: !
Syntax: non <expression>
Category
logic
Related
Examples
examples/corpus/non/non.fab (canonical · keyword)
Negates a boolean expression.
# non — logical not
#
# GRAMMAR:
# unaryExpr :← 'non' expr
#
# EXPECTED OUTPUT:
# Scalar stdout smoke (see body).
#
incipit {
fixum _ flag ← falsum
fixum _ negated ← non flag
nota negated
}Expected output:
verum