Modules

• DDC.Core.Analysis.Arity
• DDC.Core.Analysis.Usage
• DDC.Core.Simplifier
• DDC.Core.Simplifier.Parser
• DDC.Core.Simplifier.Recipe
• DDC.Core.Simplifier.Result
• DDC.Core.Transform.AnonymizeX
• DDC.Core.Transform.Beta
• DDC.Core.Transform.Boxing
• DDC.Core.Transform.Bubble
• DDC.Core.Transform.Elaborate
• DDC.Core.Transform.Eta
• DDC.Core.Transform.Flatten
• DDC.Core.Transform.FoldCase
• DDC.Core.Transform.Forward
• DDC.Core.Transform.Inline
• DDC.Core.Transform.Lambdas
• DDC.Core.Transform.Namify
• DDC.Core.Transform.Prune
• DDC.Core.Transform.Rewrite
• DDC.Core.Transform.Rewrite.Disjoint
• DDC.Core.Transform.Rewrite.Env
• DDC.Core.Transform.Rewrite.Match
• DDC.Core.Transform.Rewrite.Parser
• DDC.Core.Transform.Rewrite.Rule
• DDC.Core.Transform.Snip
• DDC.Core.Transform.Thread
• DDC.Core.Transform.TransformDownX
• DDC.Core.Transform.TransformModX
• DDC.Core.Transform.TransformUpX
• DDC.Core.Transform.Unshare
• DDC.Type.Transform.Alpha
• DDC.Type.Transform.AnonymizeT