From c5eb2ff2afc8aba1aa9b6f9ea84af17c4f66c0b9 Mon Sep 17 00:00:00 2001 From: "William J. Bowman" Date: Tue, 22 Sep 2015 23:32:57 -0400 Subject: [PATCH] Add more boolean stuff --- stdlib/bool.rkt | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/stdlib/bool.rkt b/stdlib/bool.rkt index fbb617d..7e2c810 100644 --- a/stdlib/bool.rkt +++ b/stdlib/bool.rkt @@ -20,3 +20,25 @@ (require rackunit) (check-equal? (not true) false) (check-equal? (not false) true)) + +(define (and (x : Bool) (y : Bool)) + (if x + y + (not y))) + +(module+ test + (check-equal? (and true false) false) + (check-equal? (and false false) true) + (check-equal? (and false true) false) + (check-equal? (and true true) true)) + +(define (or (x : Bool) (y : Bool)) + (if x + true + y)) + +(module+ test + (check-equal? (or true false) true) + (check-equal? (or false false) false) + (check-equal? (or false true) true) + (check-equal? (or true true) true))