diff options
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/syntax.spad | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/algebra/syntax.spad b/src/algebra/syntax.spad index b6fac427..2dd65ccb 100644 --- a/src/algebra/syntax.spad +++ b/src/algebra/syntax.spad @@ -174,7 +174,12 @@ Syntax(): Public == Private where getOperator x == atom? rep x => userError "atom as operand to getOperator" - convert car rep x + op := car rep x + symbol? op => symbol op + integer? op => integer op + float? op => float op + string? op => string op + convert op getOperands x == s := rep x |