projects / lambda.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
defined system f
[lambda.git] / topics /
2015-02-23 Chrisdefined system f tree | commitdiff
2015-02-23 Chrisadjustments tree | commitdiff
2015-02-23 Chrisadjustments tree | commitdiff
2015-02-23 Chrisedits tree | commitdiff
2015-02-23 Chrisedits tree | commitdiff
2015-02-23 chris(no commit message) tree | commitdiff
2015-02-23 ChrisMerge branch 'working' tree | commitdiff
2015-02-23 Chrisedits in eval order tree | commitdiff
2015-02-23 jimadd <a id=flipped-cons> tree | commitdiff
2015-02-23 chris(no commit message) tree | commitdiff
2015-02-23 Chrisincorporated tree | commitdiff
2015-02-23 Chrisedits tree | commitdiff
2015-02-23 Chrisadded discussion of Montague's PTQ tree | commitdiff
2015-02-23 jimMore comments on The Little Schemer, non-total functions tree | commitdiff
2015-02-23 jimfix link tree | commitdiff
2015-02-23 jimadd Q comparing our exposition to The Little Schemer's tree | commitdiff
2015-02-23 jimadd <a id=little-h> tree | commitdiff
2015-02-23 jimThe Little Schemer's eternity tree | commitdiff
2015-02-23 jimadd note about The Little Schemer tree | commitdiff
2015-02-22 ChrisAdded system F tree | commitdiff
2015-02-22 jimtweaks tree | commitdiff
2015-02-22 Chrisstupid git tree | commitdiff
2015-02-22 Chrisedits tree | commitdiff
2015-02-22 jimmissing paren tree | commitdiff
2015-02-22 jimadd paragraph about Little Schemer tree | commitdiff
2015-02-22 Chrisedits tree | commitdiff
2015-02-22 jimtweaks tree | commitdiff
2015-02-22 ChrisMerge branch 'master' of main.jimpryor.net:/srv/lambda... tree | commitdiff
2015-02-22 jimadd explanatory paragraph tree | commitdiff
2015-02-22 ChrisMerge branch 'working' tree | commitdiff
2015-02-22 Chriswhy tree | commitdiff
2015-02-22 jimclean up last Q&A tree | commitdiff
2015-02-22 chris(no commit message) tree | commitdiff
2015-02-22 Chrisedits tree | commitdiff
2015-02-22 Chrisedits tree | commitdiff
2015-02-22 Chrisedits tree | commitdiff
2015-02-21 Chrisedits tree | commitdiff
2015-02-21 Chrisedits tree | commitdiff
2015-02-21 Chrisedits tree | commitdiff
2015-02-21 Chrisedits tree | commitdiff
2015-02-21 Chrisstarting lecture on types tree | commitdiff
2015-02-21 JimMerge branch 'working' tree | commitdiff
2015-02-21 Jimreplace tattoo image tree | commitdiff
2015-02-21 jimfix some markup tree | commitdiff
2015-02-20 jimadd anchor #deriving-y tree | commitdiff
2015-02-20 JimMerge branch 'working' tree | commitdiff
2015-02-20 jimrename topics/week4_more_fixed_points.mdwn to topics... tree | commitdiff
2015-02-20 jimcleanup tree | commitdiff
2015-02-20 Jimtweak comment tree | commitdiff
2015-02-20 jimAlpha-convert booleans tree | commitdiff
2015-02-20 Jimpush (old version of) q&a on fixed points tree | commitdiff
2015-02-20 jimclean up, move liar/truth-teller to separate document tree | commitdiff
2015-02-20 jimrename topics/_week4_fixed_point_combinators.mdwn to... tree | commitdiff
2015-02-20 jimrename topics/_week4_fixed_point_combinator.mdwn to... tree | commitdiff
2015-02-19 jimlast commit before class, there are still some comments... tree | commitdiff
2015-02-19 chris(no commit message) tree | commitdiff
2015-02-19 jimanother round of cleanups tree | commitdiff
2015-02-19 jimlot of alpha-conversion tree | commitdiff
2015-02-19 jimmore formatting, will now add substance tree | commitdiff
2015-02-19 jimmore formatting tree | commitdiff
2015-02-19 jimtry to make notice bolder tree | commitdiff
2015-02-19 jimfirst pass, lots of formatting changes tree | commitdiff
2015-02-19 jimadd anchor for imp tree | commitdiff
2015-02-19 jimadd prefix tree | commitdiff
2015-02-18 jimadd two sentences tree | commitdiff
2015-02-18 Chrismoved fixed point for succ to exercises tree | commitdiff
2015-02-18 jimmarkup and typos, add commented note tree | commitdiff
2015-02-18 jimfinish tree | commitdiff
2015-02-18 jimupdate tree | commitdiff
2015-02-18 jimupdate tree | commitdiff
2015-02-18 jimmarkup tree | commitdiff
2015-02-18 jimcreate page tree | commitdiff
2015-02-18 jimadd more anchors tree | commitdiff
2015-02-18 jimfurther refinements tree | commitdiff
2015-02-18 jimfix markup tree | commitdiff
2015-02-18 jimadd shortcut rule to translation, refined exposition tree | commitdiff
2015-02-18 jimAdd old translation scheme back in (commented out)... tree | commitdiff
2015-02-17 Christypo tree | commitdiff
2015-02-17 Christhe succ fixed point as arithmetic infinity tree | commitdiff
2015-02-17 Chrisedits tree | commitdiff
2015-02-17 chris(no commit message) tree | commitdiff
2015-02-17 Chrisedits for fixed-point tree | commitdiff
2015-02-17 Chrisreplace get_length with length tree | commitdiff
2015-02-17 Chrisadded disclaimer about revised lambda->CL map tree | commitdiff
2015-02-16 Chrisadjust tree | commitdiff
2015-02-16 Chrisswitched the map from lambda to CL back to Barendregt's tree | commitdiff
2015-02-15 jimcleanup tree | commitdiff
2015-02-15 jimadd #other-lists tree | commitdiff
2015-02-15 jimadd new encodings tree | commitdiff
2015-02-15 jimrefinements tree | commitdiff
2015-02-14 jimglossary for joke tree | commitdiff
2015-02-14 jimadd Lennon link tree | commitdiff
2015-02-14 jimcleanup tree | commitdiff
2015-02-14 jimtweak omega names tree | commitdiff
2015-02-14 jimadd names for omega and Omega tree | commitdiff
2015-02-14 jimtweak tree | commitdiff
2015-02-14 jimclean up tree | commitdiff
2015-02-14 jimtweak tree | commitdiff
2015-02-14 jimalignment tree | commitdiff
2015-02-14 jimCleanup and finish tree | commitdiff
next
NYU Lambda Wiki v2