-
Ryan Scott authored
Agda defines its own `applyWhen` function, so use explicit imports from `Data.Function` to avoid name clashes.
Ryan Scott authoredAgda defines its own `applyWhen` function, so use explicit imports from `Data.Function` to avoid name clashes.
Loading