mirror of
https://github.com/NixOS/nix
synced 2024-09-20 11:11:03 -04:00
7349bd0176
* `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.
2 lines
31 B
Plaintext
2 lines
31 B
Plaintext
Str("ooxfoobarybarzobaabb",[])
|