IMPLEMENTATION countdown

IMPORT Nat        COMPLETELY
       NatConv    ONLY `
       Denotation ONLY ++
       Char       COMPLETELY

FUN countDown: nat -> denotation
DEF countDown(n) ==
    IF (n > 0) THEN
        (n`) ++ (newline) ++ countDown((n-1))
    ELSE
        (n`)
    FI