2010-09-26 | Chris Barker | Merge branch 'master' of ssh://server.philosophy.fas... | blob | commitdiff |
2010-09-26 | Jim Pryor | some functional code -> iterative | blob | commitdiff |
2010-09-23 | Jim Pryor | tweak lambda evaluator | blob | commitdiff | diff to current |
2010-09-23 | Jim Pryor | tweak lambda evaluator | blob | commitdiff | diff to current |
2010-09-23 | Jim Pryor | shift over to new parser and evaluator | blob | commitdiff | diff to current |
2010-09-20 | Jim Pryor | fixed merge | blob | commitdiff | diff to current |
2010-09-20 | Jim Pryor | move *.js, *.ml -> code/ | blob | commitdiff | diff to current |