Move everything to old
week2: more fussy notes Signed-off-by: Jim Pryor <profjim@jimpryor.net>
week2: tweak, undecidability of pred logic Signed-off-by: Jim Pryor <profjim@jimpryor.net>
week2 tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net>
week2: ~~>_eta Signed-off-by: Jim Pryor <profjim@jimpryor.net>
week2 tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net>
week2 tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net>
week2 tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net>
week2 tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net>
week2 tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net>
week2 reorg some alpha-equiv stuff Signed-off-by: Jim Pryor <profjim@jimpryor.net>
week2 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net>
week2 tweaks (eta-reduction) Signed-off-by: Jim Pryor <profjim@jimpryor.net>
week2 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net>
week2 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net>
week2: expand on eta and extensionality Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Merge branch 'pryor'