All pastes #769952 Raw Edit

Vermischtes

public text v1 · immutable
·published 2007-11-11 20:05 UTC
rendered paste body
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