Name: Anonymous 2007-12-03 14:44
module Main where
α (χ:_) = χ
ω (_:χχ) = χχ
φ _ σ [] = σ
φ ƒ σ χχ = ƒ (α χχ) (φ ƒ σ (ω χχ))
test = φ (+) 0 [1..10]
module Main where
α (χ:_) = χ
ω (_:χχ) = χχ
φ _ σ [] = σ
φ ƒ σ χχ = ƒ (α χχ) (φ ƒ σ (ω χχ))
test = φ (+) 0 [1..10]