1. 15

  2. 2

    I like the post, but it looks like examples 1 and 2 are both from Type Driven Development with Idris. Example 1 is from section 12.1.1, and example 2 is from section 14.2. You reference the book in your first post, but I really think you should explicitly say that you got the code from the book in this post, too.

    1. 2

      Hm I thought this was clear:

      Still though, those exercises really do form the basic building blocks that you need to understand before dealing with larger systems, so I’ll present two of them from the Idris book

      But I’ll edit the post to be even clearer then

      1. 1

        Oop, I missed seeing that!

    2. 1

      Nice TODOs. ;)