| Commit message (Collapse) | Author | Age | Lines | |
|---|---|---|---|---|
| * | 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 |