Yes, I'm borrowing that specific book from a friend who is really into functional programming, but I haven't read it. It does look like Idris helps make it esp

Yes, I'm borrowing that specific book from a friend who is really into functional programming, but I haven't read it. It does look like Idris helps make it especially straightforward to write correct code and know when you've done so.