How do you make a function total?
It is easier to reason about total functions. And you can make any pure function total using three techniques!
It is easier to reason about total functions. And you can make any pure function total using three techniques!