DDC.Core.Flow.Transform.Concretize

Documentation

concretizeModule :: Module () Name -> Module () Name

Rewrite operators that use type level rates to ones that use value level ones.