Idris FizzBuzz Part IV: Main and .ipkg Files
This is the fourth and final part of a walkthrough of FizzBuzz, a common interview problem, in Idris....
Tags: functional, idris, totality