3 ms·
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
by arialdomartini 2y ago
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 2y agoPS: Type Driven Development with Idris is mentioned in the final notes. OP, I could not recommend it more!