Pinned Loading

1. Having fun in Idris Having fun in Idris

   1

   fizz : Integer -> String

   2

   -- If an integer is a multiple of 3, name it fizz, buzz for 5 and fizzbuzz for both

   3

   fizz i = if mod i 15 == 0

   4

       then "FizzBuzz"

   5

       else if mod i 5 == 0