mutual_recursion

Popper encoding for the mutual_recursion problem.
Back to my Popper page.