3 ms·
Frege can handle mutual recursion. The only problematic point is recursion through a strict function argument, like in: length (x:xs) = 1 + length xs
by voxfrege 13y ago
Frege can handle mutual recursion.
The only problematic point is recursion through a strict function argument, like in:
length (x:xs) = 1 + length xs