Javier has suggested to look into ordered completion, through which loops and recursion could be handled inherently through the ordering.
No dependencies set.
The note is not visible to the blocked user.
Javier has suggested to look into ordered completion, through which loops and recursion could be handled inherently through the ordering.
Idea: ordered completion for solving recursionto Idea: Ordered completion for solving recursion