| 2010-10-03 | Jim Pryor | proof of fixed points: W->L, be more specific about '=' Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | tweak reorg Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | more reorg Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | reorg Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | remove link to advanced from index Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | new_stuff Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | move type stuff to 'week5' page (without prejudice... Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | move hints to subdir Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | add list_equal to library (commented out) Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | reformat advanced Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | tweak advanced Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | tweak advanced Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | tweak advanced Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | tweak advanced Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | add trees to advanced Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | tweak advanced Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | tweak advanced Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | tweak advanced Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | tweak advanced Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | tweak advanced Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | tweak advanced Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | tweak advanced Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | tweak advanced Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | tweak advanced Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | tweak advanced Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | tweak advanced Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | tweak advanced Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | tweak advanced Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | tweak advanced Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | tweak advanced Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | continuing advanced Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | update index to point to advanced Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | start lambda_advanced Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | week 4: added html comment Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | library tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | link to lambda library Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | index: prepare for posting week4 notes Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | index: update announcements Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | arithmetic -> lambda_library Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-03 | Jim Pryor | arithmetic tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-02 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-10-02 | Jim Pryor | tweak arithmetic Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-30 | Jim Pryor | tweaked arithmetic Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-30 | Jim Pryor | tweaked arithmetic Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-30 | Jim Pryor | tweaked arithmetic Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-30 | Jim Pryor | tweaked arithmetic Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-30 | Jim Pryor | tweaked arithmetic Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-30 | Jim Pryor | tweaked arithmetic Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-30 | Jim Pryor | tweaked arithmetic Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-30 | Jim Pryor | tweaked arithmetic Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-30 | Jim Pryor | tweaked arithmetic Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-30 | Jim Pryor | tweaked arithmetic Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-30 | Jim Pryor | tweaked arithmetic Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-30 | Jim Pryor | added a bunch of math etc Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-30 | Jim Pryor | tokens.js: allow / in names Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-29 | Jim Pryor | lambda.js: tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-29 | Jim Pryor | lambda.js: tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-29 | Jim Pryor | lambda.js: tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-29 | Jim Pryor | lambda.js: try trampolining evals Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-29 | Jim Pryor | fix tattoo Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-27 | Jim Pryor | week3 tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-27 | Jim Pryor | fixed broken markdown? Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-27 | Jim Pryor | week3a again Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-27 | Jim Pryor | fixed broken markdown? Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-27 | Jim Pryor | fixed broken markdown? Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-27 | Jim Pryor | continue debug Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-27 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-09-27 | Jim Pryor | continue debug Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-27 | Jim Pryor | debug broken markdown Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-26 | Jim Pryor | some functional code -> iterative Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-26 | Jim Pryor | reduction strategy should be 'false' for normal order... Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-26 | Jim Pryor | add terminal ! and ? to lexer Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-23 | Jim Pryor | week3: tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-23 | Jim Pryor | tweak lambda evaluator Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-23 | Jim Pryor | cleanup Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-23 | Jim Pryor | tweak lambda evaluator Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-23 | Jim Pryor | tweak lambda evaluator Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-23 | Jim Pryor | tweak lambda evaluator Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-23 | Jim Pryor | tweak lambda evaluator Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-23 | Jim Pryor | lambda eval: constants now seem OK Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-23 | Jim Pryor | lambda eval: constants now seem OK Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-23 | Jim Pryor | tweak lambda evaluator Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-23 | Jim Pryor | tweak lambda evaluator Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-23 | Jim Pryor | tweak lambda evaluator Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-23 | Jim Pryor | tweak lambda evaluator Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-23 | Jim Pryor | tweak lambda evaluator Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-23 | Jim Pryor | tweak lambda evaluator Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-23 | Jim Pryor | tweak lambda evaluator Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-23 | Jim Pryor | tweak lambda evaluator Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-23 | Jim Pryor | tweak lambda evaluator Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-23 | Jim Pryor | tweak lambda evaluator Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-23 | Jim Pryor | tweak lambda evaluator Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-23 | Jim Pryor | tweak lambda evaluator Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-23 | Jim Pryor | tweak lambda evaluator Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-23 | Jim Pryor | tweak lambda evaluator Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-23 | Jim Pryor | tweak lambda evaluator Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-23 | Jim Pryor | tweak lambda evaluator Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-23 | Jim Pryor | tweak lambda evaluator Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-23 | Jim Pryor | tweak lambda evaluator Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| next | |||