How do you make a function total? - podcast episode cover

How do you make a function total?

Dec 19, 202212 minTranscript available on Metacast
--:--
--:--
Listen in podcast apps:

Episode description

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