Merge pull request #6 from shritesh/master

My solution for Idris School
NashFP · Feb 28, 2018 · a1f268b · a1f268b
2 parents 1a1a356 + 97277bf
commit a1f268b
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)))