6 Commits

Author	SHA1	Message	Date
nichijou	ef11bde030	markdown syntax issue	2019-02-17 12:10:49 +08:00
Nick Henderson	34b2ab3a8b	propose correction for ADD ... I think it should be: `ADD = λab.(a S)b`	2018-11-21 15:22:52 -08:00
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