summaryrefslogtreecommitdiffhomepage
path: root/lambda-calculus.html.markdown
Commit message (Expand)AuthorAgeLines
* nit: Add caveat to rule 2. `λx.c = Kc` (#4267)joseville10012021-11-14-1/+1
* Update lambda-calculus.html.markdownBrian Berns2019-03-17-1/+1
* markdown syntax issuenichijou2019-02-17-0/+5
* propose correction for ADDNick Henderson2018-11-21-1/+1
* 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