29
Discussion 3
•
Nested Fixpoints
•
•
Example: have <
express +,
£
(in class)
•
•
How can we remove the nested fixpoint ?