| 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 |
| 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 | shift over to new parser and evaluator Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-23 | Jim Pryor | prep for new evaluator Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-23 | Jim Pryor | added better parser Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-23 | Jim Pryor | coverted Oleg's Haskell lib -> ML -> JS Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-20 | Jim Pryor | reorganize links to notes Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-20 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-09-20 | Jim Pryor | switched to only Chris' lambda calculator Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-20 | Jim Pryor | tweak ml code/instructions Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-20 | Jim Pryor | tweak ml code/instructions Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-20 | Jim Pryor | tweak ml code/instructions Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-20 | Jim Pryor | tweak ml code/instructions Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-20 | Jim Pryor | tweak ml code/instructions Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-20 | Jim Pryor | tweak ml code/instructions Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-20 | Jim Pryor | numbers: tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-20 | Jim Pryor | using: tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-20 | Jim Pryor | start linking to lambda calculators Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-20 | Jim Pryor | delete ocaml binaries Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-20 | Jim Pryor | fixed merge Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-20 | Jim Pryor | move *.js, *.ml -> code/ Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-20 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-09-20 | Jim Pryor | reword assignment 2 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-20 | Jim Pryor | assignment 2 tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-20 | Jim Pryor | assignment 2 tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-20 | Jim Pryor | assignment 2 formatting Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-20 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-09-20 | Jim Pryor | week2: more fussy notes Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-20 | Jim Pryor | expand assignment 2 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-20 | Jim Pryor | week2: tweak, undecidability of pred logic Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-19 | Jim Pryor | post week2 stuff Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-19 | Jim Pryor | week3 tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-19 | Jim Pryor | week3 tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-19 | Jim Pryor | week2 tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-19 | Jim Pryor | week2: ~~>_eta Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-19 | Jim Pryor | week2 tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-19 | Jim Pryor | week2 tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-19 | Jim Pryor | week2 tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-19 | Jim Pryor | week2 tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-19 | Jim Pryor | week2 tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-19 | Jim Pryor | week2 reorg some alpha-equiv stuff Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-19 | Jim Pryor | week1 add link Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-19 | Jim Pryor | week2 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-19 | Jim Pryor | week1: functional ocaml turing complete after all Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-19 | Jim Pryor | week2 tweaks (eta-reduction) Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-19 | Jim Pryor | week2 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-19 | Jim Pryor | week2 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-19 | Jim Pryor | week2: expand on eta and extensionality Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-19 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-09-19 | Jim Pryor | week2 typo Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-19 | Jim Pryor | week2: comments about alpha-conversion, de Bruijn Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-19 | Jim Pryor | week1 fixes Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-19 | Jim Pryor | week3 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-19 | Jim Pryor | week3 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-19 | Jim Pryor | week3 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-19 | Jim Pryor | week3 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-18 | Jim Pryor | tweaked week3 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-18 | Jim Pryor | tweaked week3 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-18 | Jim Pryor | kept developing week3 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-18 | Jim Pryor | tweaked week3 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-18 | Jim Pryor | tweaked week3 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-18 | Jim Pryor | tweaked week3 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-18 | Jim Pryor | tweaked week3 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-18 | Jim Pryor | tweaked week3 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-18 | Jim Pryor | tweaked week3 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-18 | Jim Pryor | tweaked week3 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-18 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-09-18 | Jim Pryor | kept developing week3 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-18 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-09-18 | Jim Pryor | developed week3 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-18 | Jim Pryor | week2 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-18 | Jim Pryor | week2 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-18 | Jim Pryor | week2 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-18 | Jim Pryor | week2 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-17 | Jim Pryor | announce student session Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-17 | Jim Pryor | tweak week3 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| next | |||