You should be good to go picking up "Type-driven development with Idris". It's a great book not just for learning Idris but also for hammering down the concept of using types and the compiler as a design pillar if you're not fully used to it.

There's even a page in the Idris 2 docs with updates to the book for Idris 2 -- https://idris2.readthedocs.io/en/latest/typedd/typedd.html

The book is otherwise still totally relevant for Idris 2 and is a great read & introduction to dependent types.

+1 on "Type-driven development with Idris". A really fun and insightful book to work through!

I've written some Elm so I think I basically get the concept. I'll have to check out the book then.

https://learn-idris.net/ this is the website I made. Not sure it is very good though.

The Edwin’s book about Idris is good, BTW.