iskm/learnxinyminutes-docs
1
0
Fork 0
mirror of https://github.com/adambard/learnxinyminutes-docs.git synced 2024-12-24 01:51:38 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
7,274 Commits 3 Branches 0 Tags 50 MiB
790c47319c
Commit Graph

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