Primitive Domains

• Additional Nat operations:

  equals: Nat x Nat ? Tr
  
  lessthan: Nat x Nat ? Tr
  greaterthan: Nat x Nat ? Tr

• Define using lambda notation
• Include error states

• Expressions:

not(four equals (one plus three)) ?

(one greaterthan zero) [] ((five times two) lessthan zero)

Previous slide

Next slide

Back to first slide

View graphic version