bool/ff

Boolean false literal — the heytingAlgebra identity for disjunction

const app = mvfm(prelude);
const prog = app({ x: "number" }, ($) => {
  // false auto-lifts to a boolean literal
  return $.or($.gt($.input.x, 100), false);
});
await fold(defaults(app), injectInput(prog, { x: 42 }));

const app = mvfm(prelude);
const prog = app({ x: "number" }, ($) => {
  // false auto-lifts to a boolean literal
  return $.or($.gt($.input.x, 100), false);
});
await fold(defaults(app), injectInput(prog, { x: 42 }));

const app = mvfm(prelude);
const prog = app({ x: "number" }, ($) => {
  // false auto-lifts to a boolean literal
  return $.or($.gt($.input.x, 100), false);
});
await fold(defaults(app), injectInput(prog, { x: 42 }));

Ctrl+Enter