|
|
|
|
|
|
by remexre
2232 days ago
|
|
|
I mean, how long does it take to convince yourself a function will halt vs how long does it take to use implement it with well-founded recursion, with comparable readability? Not that it's not possible, it's just more of a pain. |
|
|