num/div

Divide one number by another

const app = mvfm(prelude);
const prog = app({ x: "number" }, ($) => {
  return $.div($.input.x, 4);
});
await fold(defaults(app), injectInput(prog, { x: 100 }));

const app = mvfm(prelude);
const prog = app({ x: "number" }, ($) => {
  return $.div($.input.x, 4);
});
await fold(defaults(app), injectInput(prog, { x: 100 }));

const app = mvfm(prelude);
const prog = app({ x: "number" }, ($) => {
  return $.div($.input.x, 4);
});
await fold(defaults(app), injectInput(prog, { x: 100 }));

Ctrl+Enter