summaryrefslogtreecommitdiffhomepage
path: root/lambda-calculus.html.markdown
Commit message (Collapse)AuthorAgeLines
* markdown syntax issuenichijou2019-02-17-0/+5
|
* propose correction for ADDNick Henderson2018-11-21-1/+1
| | | I think it should be: `ADD = λab.(a S)b`
* Fixes associativity issue in Lambda Calculus doc.Chris Zimmerman2018-10-09-1/+1
|
* Fixes lambda calculus evaluation formula by fixing associativityChris Zimmerman2018-10-08-1/+1
|
* SKI, SK and IotaYAN HUI HANG2018-07-15-1/+94
|
* Added lambda calculusMax Sun2017-10-18-0/+121