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
44 B
Nix
2 lines
44 B
Nix
builtins.substring (builtins.sub 0 1) 1 "x"
|