(local fennel (require :fennel))
(import-macros {: def : q : ttype : static : unterra : untype} :terra)

(local iseven (def [uint32 : bool]))
(local isodd (def [n uint32 : bool]
    (if (= n 0) 
        (return true)
        (return (iseven (- n 1))))))
(iseven:adddefinition (def [n uint32 : bool]
    (if (= n 0)
        (return false)
        (return (isodd (- n 1))))))
(print iseven)
(print (iseven 5) (isodd 5))
(print (iseven 6) (isodd 6))