diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-03-09 13:35:59 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-09 13:35:59 -0500 |
commit | 9f77ec44decf18fe23c738988281373795dcca0d (patch) | |
tree | 9772a0ae0bc73e3e00c8b716468b8a86b332f2c6 /src/parser | |
parent | c1da31ed532cd1767c20d5fc01df893c427e0e8e (diff) |
Convert more uses of strings to words (#3921)
Towards theory of sequences.
Also adds documentation to strncmp/rstrncmp and adds them to the Word interface.
Diffstat (limited to 'src/parser')
0 files changed, 0 insertions, 0 deletions