From 63bbb507529602dab9fee763d400ec5f9ac3a41c Mon Sep 17 00:00:00 2001 From: "William J. Bowman" Date: Fri, 8 Jan 2016 22:59:53 -0500 Subject: [PATCH] Exported new nat functions --- stdlib/nat.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/stdlib/nat.rkt b/stdlib/nat.rkt index d7f6b90..0a889c7 100644 --- a/stdlib/nat.rkt +++ b/stdlib/nat.rkt @@ -2,7 +2,7 @@ (require "sugar.rkt" "bool.rkt") ;; TODO: override (all-defined-out) to enable exporting all these ;; properly. -(provide Nat z s add1 sub1 plus nat-equal? even? odd?) +(provide Nat z s add1 sub1 plus mult exp square nat-equal? even? odd?) (module+ test (require rackunit))