parks-a-lambda-no-entry-answers.yaml

# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com
# SPDX-License-Identifier: MIT
---
# The same λ function under '_partial': the run ends on the residue the spine
# had reached instead of failing.
symbolic: |
  - λ: L_number_plus
    dataize:
      𝛿1: $.ρ
      𝛿2: $.x
    𝑛: Φ.number( φ ↦ ⟦ λ ⤍ 𝜎 ⟧ )
location: 'Q.x'
partial: true
input: '⟦ x ↦ ⟦ λ ⤍ L_none ⟧.foo ⟧'
result: 'L_none:λ.foo'
protocol: |
  𝕄(Φ.x):
    unanswered(L_none)  # 𝕄(L_none:λ)