I also was interested in the answer to this, which turns out to be here: https://www.unisonweb.org/docs/faq/#how-does-hashing-work-for-mutually-recursive-defin

I also was interested in the answer to this, which turns out to be here: https://www.unisonweb.org/docs/faq/#how-does-hashing-work-for-mutually-recursive-definitions https://www.unisonweb.org/docs/faq/#how-does-hashing-work-fo... Tldr: A singly-recursive function works just fine: the current function has a name at hashing time which it can use to refer to itself. A set of mutually recursive functions gets hashed all together as a "cycle", and to refer to one of those functions you need the hash of the cycle plus an index representing which function in the cycle you want to call.