3. This problem is to begin thinking about controlling order of evaluation.
The following expression is an attempt to make explicit the
3. This problem is to begin thinking about controlling order of evaluation.
The following expression is an attempt to make explicit the
match b with true -> y | false -> n;;
does not terminate. Incidentally, `match bool with true -> yes |
match b with true -> y | false -> n;;
does not terminate. Incidentally, `match bool with true -> yes |