Age | Commit message (Collapse) | Author | |
---|---|---|---|
2019-12-23 | Initial support for string reverse (#3581) | Andrew Reynolds | |
Type rules, parsing and printing, basic rewriting including constant evaluation, reduction for string reverse (`str.rev`). Also improves support in a few places for tolower/toupper. |