diff options
| author | Miguel <m.i@gmx.at> | 2019-03-17 13:56:23 +0100 |
|---|---|---|
| committer | Miguel <m.i@gmx.at> | 2019-03-17 13:56:23 +0100 |
| commit | ad6411e9ec256b03f20b9195e25cb128fe02c628 (patch) | |
| tree | be49c19f336666e04e5f2aa70df8fd648516baa6 /080_blog/00040_Haskell/00120_Lambda-Calculus | |
| parent | 18c5c9d96dd74eeb6b45ba79eec6e033db247db2 (diff) | |
minor cosmetics
Diffstat (limited to '080_blog/00040_Haskell/00120_Lambda-Calculus')
| -rw-r--r-- | 080_blog/00040_Haskell/00120_Lambda-Calculus/index.md | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/080_blog/00040_Haskell/00120_Lambda-Calculus/index.md b/080_blog/00040_Haskell/00120_Lambda-Calculus/index.md index 25c6b83..b86950f 100644 --- a/080_blog/00040_Haskell/00120_Lambda-Calculus/index.md +++ b/080_blog/00040_Haskell/00120_Lambda-Calculus/index.md @@ -1,12 +1,11 @@ + May 2018 Lambda Calculus =============== - May 2, 2018 - Playing with Type Quantifiers and Haskell's Rank 2 Type Polymorphsim, implementing Boolean logic from scratch. We use the conventional definitions for `True` an `False` also known as Church booleans, after Alonzo Church, who -intruced them along Lambda Calculus in the 1930s [1]. +intruced them along Lambda Calculus in the 1930s [[1]](#ref). ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ {.haskell .numberLines} {-# LANGUAGE Rank2Types #-} @@ -35,4 +34,6 @@ ifThenElse p a b = p a b main = print $ (ifThenElse fFalse fFalse $ fAnd fTrue $ fNot fFalse) "T" "F" ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ - [1] https://en.wikipedia.org/wiki/Lambda_calculus +## Ref + +* [1] <https://en.wikipedia.org/wiki/Lambda_calculus> |