TDD-Idris-Notes Answer of the exercise from 《Type Driven Development with Idris》 learning notes: https://www.notion.so/Idris-e889ad95b47e44d284a16fc186fbbec2