bool/tt

Boolean true literal — the heytingAlgebra identity for conjunction

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

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

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

Ctrl+Enter