SE3-KL: Klausurvorbereitung

2026-05-06 11:26:25 +02:00 · 2014-02-10 20:12:38 +01:00
parent f46c1a2343
commit 529c7f5118
3 changed files with 104 additions and 3 deletions
--- a/se3/G08_B10_Jim-2martens_Britta-2noack_Jan-Simon-0giesel.rkt
+++ b/se3/G08_B10_Jim-2martens_Britta-2noack_Jan-Simon-0giesel.rkt
@ -1,4 +1,4 @@
-#lang racket
+#lang lazy

 #|
 SE 3 Funktional Blatt 10
@ -43,8 +43,6 @@ Abgebende: Jim 2martens, Britta 2noack, Jan-Simon 0giesel
                                       (cdr x)))
                             ))))
             r))))
-(not t1)))
-r))

 (define (reflexiv? r)
  (every (λ (x)