Tidying up my first FizzBuzz program in Idris#7

Open

philharvey wants to merge 1 commit intoNashFP:masterfrom

philharvey:fizzbuzz-in-idris-2

Commits on Feb 28, 2018

Fix a bug and tidy up my initial version of FizzBuzz in Idris
philharvey
committed