equal
deleted
inserted
replaced
41 nested recursion can be eliminated in favour of mutual recursion by unfolding |
41 nested recursion can be eliminated in favour of mutual recursion by unfolding |
42 the offending datatypes, here \isa{list}. The result for \isa{term} |
42 the offending datatypes, here \isa{list}. The result for \isa{term} |
43 would be something like |
43 would be something like |
44 \medskip |
44 \medskip |
45 |
45 |
46 \input{Datatype/document/unfoldnested.tex} |
46 \input{document/unfoldnested.tex} |
47 \medskip |
47 \medskip |
48 |
48 |
49 \noindent |
49 \noindent |
50 Although we do not recommend this unfolding to the user, it shows how to |
50 Although we do not recommend this unfolding to the user, it shows how to |
51 simulate nested recursion by mutual recursion. |
51 simulate nested recursion by mutual recursion. |