path: root/progs/tests/negation.sy

start :: fn {
    -1 <=> 0 - 1
    -1 + 2 <=> 1
    -(1 + 2) <=> -3
    1 + -1 <=> 0
    2 * -1 <=> -2
}