Closed andrew-appel closed 1 year ago
closes #609 (but only handles the case where the test-expression has type "bool", not more general if-then-else)
closes #669
closes #609 (but only handles the case where the test-expression has type "bool", not more general if-then-else)