typed-racket/typed-racket-test/succeed/mu-rec.rkt
2014-12-16 10:07:25 -05:00

10 lines
175 B
Racket

#lang typed-scheme
(define: (evenp [n : Number]) : Boolean
(if (zero? n) #t (oddp (- n 1))))
(define: (oddp [n : Number]) : Boolean
(if (zero? n) #f (evenp (- n 1))))