Idris FizzBuzz Part II: Maybes, Infix Notation, and Idris Holes

Let's conntinue on our journey of writing FizzBuzz in the Idris programming language. If you haven't already, I encourage you to read Part I for an introduction to the problem as well as some basic syntax, and, importantly, information on totality checking. Setting up the problem: calling modulo In the previous post, we wrote a modulo function that takes two Nat numbers and returns a Maybe monad of the remainder. We defined it as follows: src/Division.idr module Division||| Returns a `Just of th...

Submit