@shritesh's solution for Idris School

NashFP · Feb 27, 2018 · 97277bf · 97277bf
1 parent 1a1a356
commit 97277bf
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 0 deletions.
diff --git a/shritesh+idris/.gitignore b/shritesh+idris/.gitignore
@@ -0,0 +1 @@
+*.ibc
diff --git a/shritesh+idris/FizzBuzz.idr b/shritesh+idris/FizzBuzz.idr
@@ -0,0 +1,16 @@
+fizz_buzz : Nat -> List String
+fizz_buzz num = 
+  map fb [1..num]
+where 
+  fb : Nat -> String
+  fb n = if mod n 15 == 0 then
+            "FizzBuzz"
+          else if mod n 3 == 0 then
+            "Fizz"
+          else if mod n 5 == 0 then
+            "Buzz"
+          else
+            show n
+
+main : IO ()
+main = repl "\n> " (\num => unwords (fizz_buzz (cast num)))