num/neq

Numeric inequality — true when two numbers differ

const app = mvfm(prelude);
const prog = app({ x: "number", y: "number" }, ($) => {
  return $.neq($.input.x, $.input.y);
});
await fold(defaults(app), injectInput(prog, { x: 10, y: 20 }));

const app = mvfm(prelude);
const prog = app({ x: "number", y: "number" }, ($) => {
  return $.neq($.input.x, $.input.y);
});
await fold(defaults(app), injectInput(prog, { x: 10, y: 20 }));

const app = mvfm(prelude);
const prog = app({ x: "number", y: "number" }, ($) => {
  return $.neq($.input.x, $.input.y);
});
await fold(defaults(app), injectInput(prog, { x: 10, y: 20 }));

Ctrl+Enter