Remove blocking example. Todo: investigate.

voodoos · Oct 17, 2019 · 9efa979 · 9efa979
1 parent 68abc0c
commit 9efa979
Showing 1 changed file with 0 additions and 9 deletions.
diff --git a/docs/examples/beta2.mlts b/docs/examples/beta2.mlts
@@ -23,15 +23,6 @@ let rec beta t = match t with
         | _ -> App(m, n)
     end ;;
 
-let two   = Abs(F\ Abs(X\ App(F, App(F, X))));;
-let plus  = Abs(M\ Abs(N\ Abs(F\ Abs(X\ 
-                            App(App(M, F), App(App(N, F),X))))));;
-let times = Abs(M\ Abs(N\ Abs(F\ Abs(X\ 
-                            App(App(M, App(N, F)), X)))));;
-
-beta (App(App(plus, two), two));;
-beta (App(App(times,two), two));;
-
 beta (Abs(X\ X));;
 beta (Abs(X\ Abs(Y\ App(X, Y))));;
 beta (App(Abs(X\ X), Abs(Y\ App(Y, Y))));;