RosettaCodeData/Task/Catamorphism/Apple/catamorphism-2.apple

3 lines
68 B
Plaintext

> :ty (/)
(a → a → a) → Arr (i + 1 `Cons` sh) a → Arr sh a