From 9dca563e41716dcc6d68f5aa32a1154b56a56d9e Mon Sep 17 00:00:00 2001
From: joachimschmidt557 <joachim.schmidt557@outlook.com>
Date: Sun, 8 Sep 2019 19:24:30 +0200
Subject: [PATCH] more formatting

---
 lambda-calc.rkt |  6 +++++-
 rbtree.rkt      | 37 ++++++-------------------------------
 2 files changed, 11 insertions(+), 32 deletions(-)

diff --git a/lambda-calc.rkt b/lambda-calc.rkt
index d3f3d9c..dd22f0e 100644
--- a/lambda-calc.rkt
+++ b/lambda-calc.rkt
@@ -2,4 +2,8 @@
 
 (define id (lambda (x) x))
 
-(define Y (lambda (f) (lambda (x) (f (x x))) (lambda (x) (f (x x)))))
\ No newline at end of file
+(define Y (lambda (f) (lambda (x) (f (x x))) (lambda (x) (f (x x)))))
+
+(define T (lambda (x) (lambda (y) x)))
+
+(define F (lambda (x) (lambda (y) y)))
\ No newline at end of file
diff --git a/rbtree.rkt b/rbtree.rkt
index 0687e70..96926f3 100644
--- a/rbtree.rkt
+++ b/rbtree.rkt
@@ -1,34 +1,9 @@
 #lang racket
 (define-struct node (value color left right))
 
-(define (rotate-left node) (make-node
-                            (node-value (node-right node))
-                            (node-color (node-right))
-                            (make-node
-                             )
-                            (node-right (node-right node))
-                            (node-parent node)))
-
-(define (rotate-left node) (let
-                               ((a (node-left node))
-                             (b node)
-                             (c (node-right node))
-                             (x (node-left a))
-                             (y (node-right a))
-                             (z (node-left c))
-                             (w (node-right c)))
-                             (
-                              make-node
-                              (value c)
-                              (color c)
-                              (make-node (value b) (color b) (make-node
-                                                              (value a)
-                                                              (color a)
-                                                              x
-                                                              y
-                                                              
-                              ))
-
-(define (insert node value) (cond
-                              []
-                              []))
\ No newline at end of file
+(define (search node value)
+  (cond
+    [(= (node-value node) value) node]
+    [(empty? node) empty]
+    [(> (node-value node) value) (search (node-left node) value)]
+    [else (search (node-right node) value)]))
\ No newline at end of file