Commit message (Expand) | Author | Age | Lines | |
---|---|---|---|---|
* | propose correction for ADD | Nick Henderson | 2018-11-21 | -1/+1 |
* | 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 |