num/max

Maximum of one or more numbers

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

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

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

Ctrl+Enter