| Commit message (Collapse) | Author | Age | Lines | |
|---|---|---|---|---|
| * | Fixes typos in many different English articles | Marcel Ribeiro-Dantas | 2022-12-10 | -1/+1 |
| | | | | | Signed-off-by: Marcel Ribeiro-Dantas <mribeirodantas@seqera.io> | |||
| * | nit: Add caveat to rule 2. `λx.c = Kc` (#4267) | joseville1001 | 2021-11-14 | -1/+1 |
| | | | | | | 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.) | |||
| * | Update lambda-calculus.html.markdown | Brian Berns | 2019-03-17 | -1/+1 |
| | | ||||
| * | markdown syntax issue | nichijou | 2019-02-17 | -0/+5 |
| | | ||||
| * | propose correction for ADD | Nick Henderson | 2018-11-21 | -1/+1 |
| | | | | I think it should be: `ADD = λab.(a S)b` | |||
| * | Fixes associativity issue in Lambda Calculus doc. | Chris Zimmerman | 2018-10-09 | -1/+1 |
| | | ||||
| * | Fixes lambda calculus evaluation formula by fixing associativity | Chris Zimmerman | 2018-10-08 | -1/+1 |
| | | ||||
| * | SKI, SK and Iota | YAN HUI HANG | 2018-07-15 | -1/+94 |
| | | ||||
| * | Added lambda calculus | Max Sun | 2017-10-18 | -0/+121 |
 |
index : learnxinyminutes-docs | |
| Code documentation written as code! How novel and totally my idea! |
| summaryrefslogtreecommitdiffhomepage |