projects / lambda.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
arithmetic tweaks
2010-09-19 Jim Pryorweek2 tweak
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-19 Jim Pryorweek2 tweak
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-19 Jim Pryorweek2 tweak
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-19 Jim Pryorweek2 tweak
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-19 Jim Pryorweek2 reorg some alpha-equiv stuff
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-19 Jim Pryorweek1 add link
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-19 Jim Pryorweek2 tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-19 Jim Pryorweek1: functional ocaml turing complete after all
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-19 Jim Pryorweek2 tweaks (eta-reduction)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-19 Jim Pryorweek2 tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-19 Jim Pryorweek2 tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-19 Jim Pryorweek2: expand on eta and extensionality
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-19 Jim PryorMerge branch 'pryor'
 commit | commitdiff | tree
2010-09-19 Jim Pryorweek2 typo
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-19 Jim Pryorweek2: comments about alpha-conversion, de Bruijn
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-19 Jim Pryorweek1 fixes
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-19 Jim Pryorweek3 tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-19 Jim Pryorweek3 tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-19 Jim Pryorweek3 tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-19 Jim Pryorweek3 tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-18 Jim Pryortweaked week3
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-18 Jim Pryortweaked week3
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-18 Jim Pryorkept developing week3
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-18 Jim Pryortweaked week3
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-18 Jim Pryortweaked week3
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-18 Jim Pryortweaked week3
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-18 Jim Pryortweaked week3
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-18 Jim Pryortweaked week3
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-18 Jim Pryortweaked week3
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-18 Jim Pryortweaked week3
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-18 Jim PryorMerge branch 'pryor'
 commit | commitdiff | tree
2010-09-18 Jim Pryorkept developing week3
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-18 Jim PryorMerge branch 'pryor'
 commit | commitdiff | tree
2010-09-18 Jim Pryordeveloped week3
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-18 Jim Pryorweek2 tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-18 Jim Pryorweek2 tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-18 Jim Pryorweek2 tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-18 Jim Pryorweek2 tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-17 Jim Pryorannounce student session
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-17 Jim Pryortweak week3
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-17 Jim Pryortweak week2
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-17 Jim Pryortweak week{2,3}
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-17 Jim Pryorupdate schedule
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-17 Jim Pryorremove sandbox
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-17 Jim Pryoradd assignment2
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-17 Jim Pryortweak lists_and_numbers
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-17 Jim Pryorfix multiplication
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-17 Jim Pryorlists_and_numbers: lists v3
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-17 Jim Pryortweak lists_and_numbers
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-17 Jim Pryortweak lists_and_numbers
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-17 Jim Pryortweak lists_and_numbers
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-17 Jim Pryorexpanding lists_and_numbers
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryorspawn week3
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryorweek1: add side-effects
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryortweak week2
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryorreorg some links
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryormerge lists, numbers
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryortweak week2
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryortweak week2
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryordamn: undelim -> delim
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryortweak week2
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryortweak week2
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryortweak week2
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim PryorMerge branch 'pryor'
 commit | commitdiff | tree
2010-09-16 Jim Pryorexpand/clean week2
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryoradd links to week1
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryorwriting up week2
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryorweek1: rosetta tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryorweek1: rosetta tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryorweek1: rosetta tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryorweek1: rosetta tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryorweek1: rosetta tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryortweak applications
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryormoved applications to separate page
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryoradded link to tryscheme
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryordeleted monday notes
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryoradded monday notes
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryortitle week1
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryordamn formatting
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryorlearning_scheme update
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryorweek1: shorthand tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryorweek1: tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryorweek1: markup problems fixed
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryorweek1: remove test2.mdwn
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryorweek1: fix markup processing?
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryorweek1: fix markup processing?
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryorweek1: fix markup processing?
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryorweek1: fix markup processing?
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryorweek1: fix markup processing?
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryorweek1: fix markup processing?
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryorweek1: fix markup processing?
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryorweek1: fix markup processing?
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryorweek1: fix markup processing?
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryorweek1: fix markup processing?
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryorweek1: fix markup processing?
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryorweek1: fix markup processing?
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryorweek1: fix markup processing?
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryorweek1: fix markup processing?
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryorweek1: fix markup processing?
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
2010-09-16 Jim Pryorweek1: fix markup processing?
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 commit | commitdiff | tree
next
NYU Lambda Wiki v2