@@ -10,8 +10,8 @@ In this lesson, we will write a gate that computes the [Ackermann function](http
12|= [m=@ n=@]
12|= [m=@ n=@]
13−?~ m +(n)
13+?: =(m 0) +(n)
14−?~ n $(m (dec m), n 1)
14+?: =(n 0) $(m (dec m), n 1)
15$(m (dec m), n $(n (dec n)))
15$(m (dec m), n $(n (dec n)))