phino-0.0.152: test-resources/rewriter-packs/custom/desugar-fibo.yaml

# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com
# SPDX-License-Identifier: MIT
---
input: |
  ⟦
    eo ↦ ⟦
      example ↦ ⟦
        fibonacci(n) ↦ ⟦
          φ ↦ n.lt(2).if(
            n,
            Φ.eo.example.fibonacci(n.minus(1)).plus(
              Φ.eo.example.fibonacci(n.minus(2))
            )
          )
        ⟧,
        λ ⤍ Package
      ⟧,
      λ ⤍ Package
    ⟧
  ⟧
output: |-
  ⟦
    eo ↦ ⟦
      example ↦ ⟦
        fibonacci ↦ ⟦
          n ↦ ∅,
          φ ↦ ξ.n.lt(
            α0 ↦ Φ.number(
              φ ↦ Φ.bytes(
                φ ↦ ⟦ Δ ⤍ 40-00-00-00-00-00-00-00 ⟧
              )
            )
          ).if(
            α0 ↦ ξ.n
          )(
            α1 ↦ Φ.eo.example.fibonacci(
              α0 ↦ ξ.n.minus(
                α0 ↦ Φ.number(
                  φ ↦ Φ.bytes(
                    φ ↦ ⟦ Δ ⤍ 3F-F0-00-00-00-00-00-00 ⟧
                  )
                )
              )
            ).plus(
              α0 ↦ Φ.eo.example.fibonacci(
                α0 ↦ ξ.n.minus(
                  α0 ↦ Φ.number(
                    φ ↦ Φ.bytes(
                      φ ↦ ⟦ Δ ⤍ 40-00-00-00-00-00-00-00 ⟧
                    )
                  )
                )
              )
            )
          )
        ⟧,
        λ ⤍ Package
      ⟧,
      λ ⤍ Package
    ⟧
  ⟧