👩💻 Join our community of thousands of amazing developers!
This is the fourth and final part of a walkthrough of FizzBuzz, a common interview problem, in Idris. If you haven't read the other parts, you can start with Part I. To show how to import and use libraries, we're going to divide this project into a library and an executable. Along the way, we will create .ipkg packages for both. Idris .ipkg files for libraries Start by running idris2 --init in the fizzbuzz project and fill in some sensible defaults. This is what I ended up with: fizzbuzz.ipkg pa...