Skip to content

DEV Community

Idris FizzBuzz Series' Articles

Back to webbureaucrat's Series

May 2 '23

Idris FizzBuzz Part I: Monads, Comments, and assert_smaller

#functional #idris #totality

7 min read

May 11 '23

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

#functional #idris

5 min read

May 16 '23

Idris FizzBuzz Part III: Defining Types and Importing Modules

#functional #idris

6 min read

May 26 '23

Idris FizzBuzz Part IV: Main and .ipkg Files

#functional #idris #totality

3 min read