2010-09-26 | Chris Barker | Merge branch 'master' of ssh://server.philosophy.fas... | blob | commitdiff |
2010-09-26 | Jim Pryor | add terminal ! and ? to lexer | blob | commitdiff |
2010-09-26 | Chris Barker | edits | blob | commitdiff | diff to current |
2010-09-23 | Jim Pryor | tweak lambda evaluator | blob | commitdiff | diff to current |
2010-09-23 | Jim Pryor | added better parser | blob | commitdiff | diff to current |