diff options
| author | joseville1001 <66519798+joseville1001@users.noreply.github.com> | 2021-11-14 06:40:54 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-14 12:40:54 +0100 |
| commit | e6f3c19425a4f7280323c8815073f9a489b83652 (patch) | |
| tree | 6be64b80e286b8eacf0ab270e517f21907ee939f /red.html.markdown | |
| parent | 519ad03a55cd0577f5d0d09d5606607116ff32c9 (diff) | |
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.)
Diffstat (limited to 'red.html.markdown')
0 files changed, 0 insertions, 0 deletions