From 9efa979605e18f55badbd0302b6a50d5d9b741f4 Mon Sep 17 00:00:00 2001
From: VooDooS <thevoodoos@gmail.com>
Date: Thu, 17 Oct 2019 11:48:58 +0200
Subject: [PATCH] Remove blocking example. Todo: investigate.

---
 docs/examples/beta2.mlts | 9 ---------
 1 file changed, 9 deletions(-)

diff --git a/docs/examples/beta2.mlts b/docs/examples/beta2.mlts
index 231279f..1fe2916 100644
--- 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))));;