| 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 |
| 2010-09-17 | Jim Pryor | tweak week2 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-17 | Jim Pryor | tweak week{2,3} Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-17 | Jim Pryor | update schedule Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-17 | Jim Pryor | remove sandbox Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-17 | Jim Pryor | add assignment2 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-17 | Jim Pryor | tweak lists_and_numbers Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-17 | Jim Pryor | fix multiplication Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-17 | Jim Pryor | lists_and_numbers: lists v3 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-17 | Jim Pryor | tweak lists_and_numbers Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-17 | Jim Pryor | tweak lists_and_numbers Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-17 | Jim Pryor | tweak lists_and_numbers Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-17 | Jim Pryor | expanding lists_and_numbers Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | spawn week3 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | week1: add side-effects Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | tweak week2 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | reorg some links Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | merge lists, numbers Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | tweak week2 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | tweak week2 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | damn: undelim -> delim Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | tweak week2 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | tweak week2 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | tweak week2 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | expand/clean week2 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | add links to week1 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | writing up week2 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | week1: rosetta tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | week1: rosetta tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | week1: rosetta tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | week1: rosetta tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | week1: rosetta tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | tweak applications Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | moved applications to separate page Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | added link to tryscheme Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | deleted monday notes Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | added monday notes Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | title week1 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | damn formatting Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | learning_scheme update Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | week1: shorthand tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | week1: tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | week1: markup problems fixed Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | week1: remove test2.mdwn Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | week1: fix markup processing? Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | week1: fix markup processing? Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | week1: fix markup processing? Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | week1: fix markup processing? Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | week1: fix markup processing? Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | week1: fix markup processing? Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | week1: fix markup processing? Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | week1: fix markup processing? Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-16 | Jim Pryor | week1: fix markup processing? Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| next | |||