joseville1001
|
e6f3c19425
|
nit: Add caveat to rule 2. λx.c = Kc (#4267)
See this math stackexchange Q/A for the reason why this caveat is important: https://math.stackexchange.com/questions/4304294/rules-for-converting-lambda-calculus-expressions-to-ski-combinator-calculus-expr.
(There may be other clearer ways of wording the caveat. It is also not necessary that the caveat be shown inline with the rules; an alternative is to use a footnote or to make a note below the rules.)
|
2021-11-14 12:40:54 +01:00 |
|
Brian Berns
|
753325355a
|
Update lambda-calculus.html.markdown
|
2019-03-17 13:36:27 -04:00 |
|
nichijou
|
ef11bde030
|
markdown syntax issue
|
2019-02-17 12:10:49 +08:00 |
|
Nick Henderson
|
34b2ab3a8b
|
propose correction for ADD
I think it should be: `ADD = λab.(a S)b`
|
2018-11-21 15:22:52 -08:00 |
|
Chris Zimmerman
|
3f68531863
|
Fixes associativity issue in Lambda Calculus doc.
|
2018-10-09 07:08:41 -04:00 |
|
Chris Zimmerman
|
3a48077c16
|
Fixes lambda calculus evaluation formula by fixing associativity
|
2018-10-08 13:57:53 -04:00 |
|
YAN HUI HANG
|
3ab2e88b4a
|
SKI, SK and Iota
|
2018-07-15 15:33:01 +08:00 |
|
Max Sun
|
8676459adb
|
Added lambda calculus
|
2017-10-18 23:55:43 -07:00 |
|