leaves-a-lambda-still-waiting-for-arguments-alone.yaml

# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com
# SPDX-License-Identifier: MIT
---
# A λ-formation whose bindings are still void is a method waiting to be
# applied, not an application waiting to be computed: nothing demands one,
# so 𝔻 never meets one, while the walk meets every one the object model
# declares. Both the void ρ of 'not' and the void 'b' of 'eq' keep their
# atoms unfired here.
location: 'Q.bytes'
model: true
symbolic: true
input: '[[ ]]'
result: '⟦ φ ↦ ∅, not(ρ) ↦ L_bytes_not:λ, eq(ρ, b) ↦ L_bytes_eq:λ ⟧'