diff --git a/haskell/01-expressions/README.md b/haskell/01-expressions/README.md index d995c24..ce20458 100644 --- a/haskell/01-expressions/README.md +++ b/haskell/01-expressions/README.md @@ -50,7 +50,10 @@ Expression | Type (:t) | Value | Comment `uncurry` | `(a -> b -> c) -> (a, b) -> c`| | `` (`div` 4) `` | `Integral a => a -> a` | | **Sectioning** binds the **second** argument of infix functions; Similar `(/8),(*8),(+8),(-8)` | ``divSomethingBy4 = (`div` 4)`` | `Integral a => a -> a` | | -`divSomethingBy4 8` | `Integral a => a` | `2` | +`divSomethingBy4 8` | `Integral a => a` | `2` | +`const` | `a -> b -> a` | | +`const 8` | `Num a => b -> a` | | function that ignores the input and always returns 8 +`const 8 4` | `Num a => a` | `8` | ## Tuples