Differences

This shows you the differences between two versions of the page.

--- language:controlflow [2020/06/03 14:21]
rajit [Selections]
+++ language:controlflow [2020/12/02 01:00]
127.0.0.1 external edit
@@ Line 120: / Line 120: @@
 defproc tree (bool a[N])
 {
-  [ N = 1 -> leaf l(a[0])
+  [ N = 1 -> leaf l(a[0]);
  [] N > 1 -> tree<N/2> t0(a[0..N/2-1]);
-             tree<N-N/2> t1(a[N/2..N-1])
+             tree<N-N/2> t1(a[N/2..N-1]);
   ]
 }