suzanne.soy/cur
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Exported new nat functions

Browse Source
This commit is contained in:
William J. Bowman 2016-01-08 22:59:53 -05:00
parent 691b01e15a
commit 63bbb50752
No known key found for this signature in database
GPG Key ID: DDD48D26958F0D1A
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
stdlib/nat.rkt
View File

@ -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))