hakaru-0.4.0: A probabilistic programming language
Language.Hakaru.Syntax.Prune
Description
prune :: ABT Term abt => abt '[] a -> abt '[] a Source #