Language.Hakaru.Syntax.Uniquify
Description
Performs renaming of Hakaru expressions to ensure globally unique variable identifiers.
uniquify :: ABT Term abt => abt '[] a -> abt '[] a Source #