eo-phi-normalizer-0.4.0: data/0.36.0/org/eolang/seq.phi
{
⟦
org ↦ ⟦
eolang ↦ ⟦
seq ↦ ⟦
λ ⤍ Lorg_eolang_seq,
steps ↦ ∅
⟧,
λ ⤍ Package
⟧,
λ ⤍ Package
⟧
⟧
}{
⟦
org ↦ ⟦
eolang ↦ ⟦
seq ↦ ⟦
λ ⤍ Lorg_eolang_seq,
steps ↦ ∅
⟧,
λ ⤍ Package
⟧,
λ ⤍ Package
⟧
⟧
}