Idea: Ordered completion for solving recursion #1
Loading…
x
Reference in New Issue
Block a user
No description provided.
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
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