Skip to content

Rename NaturalTransformation to FunctionK.#1072

Merged
ceedubs merged 1 commit intotypelevel:masterfrom peterneyens:rename-natural-transformation-functionkMay 31, 2016