Age | Commit message (Collapse) | Author | |
---|---|---|---|
2010-04-21 | * Update the expected test output (no longer an ATerm). | Eelco Dolstra | |
2007-01-29 | New primitives: | Eelco Dolstra | |
* `sub' to subtract two numbers. * `stringLength' to get the length of a string. * `substring' to get a substring of a string. These should be enough to allow most string operations to be expressed. |