|
|
|
|
|
|
by schoen
1437 days ago
|
|
|
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. |
|
|