FizzBuzz: Difference between revisions
→{{header|Agda}}
Line 310:
buzz = "Buzz"
_isDivisibleBy_ : (n : ℕ) -> (
n isDivisibleBy zero = false
n isDivisibleBy (suc k) = ((n % (suc k)) ≡ᵇ 0)
Line 321:
else (show n)
range : (a : ℕ) -> (b : ℕ) -> List (ℕ)
range k zero = []
range k (suc m) = k ∷ (range (suc k) m)
getTerms : (n : ℕ) -> List (String)
getTerms n = map getTerm (range 1 n)
Line 334:
main = putStrLn fizzBuzz
</syntaxhighlight>
=={{header|ALGOL 68}}==
| |||