phino-0.0.152: test-resources/parser-packs/salty-fibo.phi
⟦
eo ↦ ⟦
example ↦ ⟦
fibonacci ↦ ⟦
n ↦ ∅,
φ ↦ ξ.n.lt(
α0 ↦ Φ.number(
α0 ↦ Φ.bytes(
α0 ↦ ⟦ Δ ⤍ 40-00-00-00-00-00-00-00 ⟧
)
)
).if(
α0 ↦ ξ.n,
α1 ↦ Φ.eo.example.fibonacci(
α0 ↦ ξ.n.minus(
α0 ↦ Φ.number(
α0 ↦ Φ.bytes(
α0 ↦ ⟦ Δ ⤍ 3F-F0-00-00-00-00-00-00 ⟧
)
)
)
).plus(
α0 ↦ Φ.eo.example.fibonacci(
α0 ↦ ξ.n.minus(
α0 ↦ Φ.number(
α0 ↦ Φ.bytes(
α0 ↦ ⟦ Δ ⤍ 40-00-00-00-00-00-00-00 ⟧
)
)
)
)
)
)
⟧,
λ ⤍ Package
⟧,
λ ⤍ Package
⟧
⟧