;;; $Id: ex04-recursion.tst,v 1.2 2004/02/04 03:48:28 leavens Exp leavens $

; (load "ex04-recursion.scm")

(run-regression-tests-equal?
 `(
   ( (nat-leq 2 2) ==> #t    )
   ( (nat-leq 1 1) ==> #t    )
   ( (nat-leq 0 0) ==> #t    )
   ( (nat-leq 1 0) ==> #f    )
   ( (nat-leq 2 1) ==> #f    )
   ( (nat-leq 742 15) ==> #f )
   ( (nat-leq 15 742) ==> #t )

   ( (unary-notation 0) ==> () )
   ( (unary-notation 3) ==> (1 1 1) )
   ( (unary-notation 6) ==> (1 1 1 1 1 1) )

   )
 )