rename topics/_week5_system_F.mdwn to topics/week5_system_F.mdwn
[lambda.git] / topics / week3_combinatory_logic.mdwn
2015-02-20 JimMerge branch 'working'
2015-02-20 Jimtweak comment
2015-02-18 jimfurther refinements
2015-02-18 jimfix markup
2015-02-18 jimadd shortcut rule to translation, refined exposition
2015-02-18 jimAdd old translation scheme back in (commented out)...
2015-02-17 Chrisadded disclaimer about revised lambda->CL map
2015-02-16 Chrisadjust
2015-02-16 Chrisswitched the map from lambda to CL back to Barendregt's
2015-02-15 jimrefinements
2015-02-14 jimcleanup
2015-02-14 jimtweak
2015-02-12 Jimcombinatory tweaks and formatting shared
2015-02-12 Jimcombinatory tweaks and formatting
2015-02-12 Jimcombinatory tweaks and formatting
2015-02-12 Jimcombinatory tweaks and formatting
2015-02-12 Jimtweak combinatory
2015-02-12 Jimtweak combinatory
2015-02-12 Chrisadded discussion of computation
2015-02-12 Jim->combinatory
2015-02-12 Jimchomp more whitespace
2015-02-12 Chrismoved file live