Commit Graph

4 Commits

Author SHA1 Message Date
Chris Zimmerman
3f68531863 Fixes associativity issue in Lambda Calculus doc. 2018-10-09 07:08:41 -04:00
Chris Zimmerman
3a48077c16 Fixes lambda calculus evaluation formula by fixing associativity 2018-10-08 13:57:53 -04:00
YAN HUI HANG
3ab2e88b4a SKI, SK and Iota 2018-07-15 15:33:01 +08:00
Max Sun
8676459adb Added lambda calculus 2017-10-18 23:55:43 -07:00