Method createIdentity

npm/lean-agentic/src/node.js:19–26

()

  }

  createIdentity() {
    this._inner.createIdentityFunction();
    return JSON.stringify({
      term: "Lambda",
      description: "λx:Type. x (identity function)",
      note: "Hash-consed for O(1) equality"
    });
  }

  createApplication() {
    this._inner.createVariable(0);