stay.yaml

# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com
# SPDX-License-Identifier: MIT
---
rules:
  basic: ['stay']
input: |
  ⟦ x ↦ ⟦⟧, ρ ↦ ⟦ t ↦ Φ.number ⟧ ⟧ (ρ ↦ ⟦ w ↦ Φ.string ⟧)
output: |-
  ⟦
    x ↦ ⟦⟧,
    ρ ↦ ⟦
      t ↦ Φ.number
    ⟧
  ⟧