rename ls to t for consistency with the paper
more consistency with paper
Merge branch 'master' of git://github.com/webyrd/relational-cesk
"Fix" call/cc tests in higher-order interpreter. call/cc was fine.
number ops were the issue.
Merge pull request #10 from namin/master

Routine merge.