diff options
Diffstat (limited to 'libraries/base/Data/Function.hs')
-rw-r--r-- | libraries/base/Data/Function.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libraries/base/Data/Function.hs b/libraries/base/Data/Function.hs index ce4a10961a..35c0b7d657 100644 --- a/libraries/base/Data/Function.hs +++ b/libraries/base/Data/Function.hs @@ -141,7 +141,7 @@ applyWhen False _ x = x -- Proofs: -- -- flip bool id = \q f -> bool id f q --- = \f q -> case q of +-- = \q f -> case q of -- True -> f = \x -> f x -- False -> id = \x -> x ∎ -- |