equal
deleted
inserted
replaced
28 nested recursion can be eliminated in favour of mutual recursion by unfolding |
28 nested recursion can be eliminated in favour of mutual recursion by unfolding |
29 the offending datatypes, here @{text list}. The result for @{text term} |
29 the offending datatypes, here @{text list}. The result for @{text term} |
30 would be something like |
30 would be something like |
31 \medskip |
31 \medskip |
32 |
32 |
33 \input{Datatype/document/unfoldnested.tex} |
33 \input{document/unfoldnested.tex} |
34 \medskip |
34 \medskip |
35 |
35 |
36 \noindent |
36 \noindent |
37 Although we do not recommend this unfolding to the user, it shows how to |
37 Although we do not recommend this unfolding to the user, it shows how to |
38 simulate nested recursion by mutual recursion. |
38 simulate nested recursion by mutual recursion. |