DDC.Core.Simplifier.Recipe

Atomic recipies

idsimp

anonymize

beta

betaLets

bubble

elaborate

flatten

forward

lambdas

snip

snipOver

prune

Compound recipies

anormalize

rewriteSimp