[arialdomartini]

I’m reading Type Driven Development with Idris and this post really resonates with what I’m learning. Especially the idea of writing down the function’s type to be guided how to implement it.

[arialdomartini]

PS: Type Driven Development with Idris is mentioned in the final notes. OP, I could not recommend it more!