Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2013-08-02 | Let the ordering operators also work on strings | Eelco Dolstra | 1 | -1/+1 |
2013-08-02 | Add comparison operators ‘<’, ‘<=’, ‘>’ and ‘>=’ | Eelco Dolstra | 1 | -1/+1 |
2013-08-02 | Add integer ‘-’, ‘*’ and ‘/’ operators | Eelco Dolstra | 1 | -1/+1 |
2013-08-02 | Add a unary integer negation operator | Eelco Dolstra | 1 | -1/+1 |
2013-08-02 | Overload the ‘+’ operator to support integer addition | Eelco Dolstra | 1 | -1/+1 |
2010-04-21 | * Update the expected test output (no longer an ATerm). | Eelco Dolstra | 1 | -1/+1 |
2006-09-22 | * Builtin function `add' to add integers. | Eelco Dolstra | 1 | -0/+1 |