logic.km 302 B

1234567891011121314
  1. ## Boolean Operators
  2. export function not:
  3. &(Bool) => Bool
  4. &(p) => (if p: No, else: Yes);
  5. export function and:
  6. &(Bool,Bool) => Bool
  7. &(p,q) => (if p: (if q: Yes, else: No), else: No);
  8. export function or:
  9. &(Bool,Bool) => Bool
  10. &(p,q) => (if p: Yes, else: (if q: Yes, else: No));