RosettaCodeData/Task/FizzBuzz/Idris/fizzbuzz.idris

10 lines
286 B
Text
Raw Permalink Normal View History

2023-07-01 11:58:00 -04:00
partial
fizzBuzz : Nat -> String
fizzBuzz n = if (n `modNat` 15) == 0 then "FizzBuzz"
else if (n `modNat` 3) == 0 then "Fizz"
else if (n `modNat` 5) == 0 then "Buzz"
else show n
main : IO ()
main = sequence_ $ map (putStrLn . fizzBuzz) [1..100]