bool/neq

Boolean inequality — true when two boolean expressions differ

const app = mvfm(prelude);
const prog = app({ x: "number", y: "number" }, ($) => {
  const xPos = $.not($.not($.gt($.input.x, 0)));
  const yPos = $.not($.not($.gt($.input.y, 0)));
  return $.neq(xPos, yPos);
});
await fold(defaults(app), injectInput(prog, { x: 5, y: -3 }));

const app = mvfm(prelude);
const prog = app({ x: "number", y: "number" }, ($) => {
  const xPos = $.not($.not($.gt($.input.x, 0)));
  const yPos = $.not($.not($.gt($.input.y, 0)));
  return $.neq(xPos, yPos);
});
await fold(defaults(app), injectInput(prog, { x: 5, y: -3 }));

const app = mvfm(prelude);
const prog = app({ x: "number", y: "number" }, ($) => {
  const xPos = $.not($.not($.gt($.input.x, 0)));
  const yPos = $.not($.not($.gt($.input.y, 0)));
  return $.neq(xPos, yPos);
});
await fold(defaults(app), injectInput(prog, { x: 5, y: -3 }));

Ctrl+Enter