hide draw solution

aicenter · Apr 3, 2024 · bf82f16 · bf82f16
1 parent 1d41887
commit bf82f16
Showing 1 changed file with 3 additions and 5 deletions.
diff --git a/labs/lab07.md b/labs/lab07.md
@@ -46,12 +46,10 @@ We will use the helper function `draw-expr`. First, create the correct represent
 '((λ x : (y (x x))) (λ y : (y (x x))))
 ```
 Then evaluate the following function call:
-```scheme
-(draw-expr '((λ x : (y (x x))) (λ y : (y (x x)))))
-```
-It displays the following tree:
-
+::: details `(draw-expr '((λ x : (y (x x))) (λ y : (y (x x)))))`
+Displays the tree below:
 ![ex1](/img/lab07-ex1.png)
+:::
 
 An occurrence of a variable $v$ is bound if it is in the syntax tree below the node $\lambda v$ and is free otherwise. So, for our expression, the occurrences of $x$ in the left branch are bound, and they are free in the right branch. The occurrence of $y$ in the left branch is free and bound in the right branch.