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