2 lines
68 B
Text
2 lines
68 B
Text
> :ty (/)
|
|
(a → a → a) → Arr (i + 1 `Cons` sh) a → Arr sh a
|
> :ty (/)
|
|
(a → a → a) → Arr (i + 1 `Cons` sh) a → Arr sh a
|