summaryrefslogtreecommitdiff
path: root/lib/ur/string.urs
Commit message (Expand)AuthorAge
* strcspn and friendsGravatar Adam Chlipala2009-05-31
* Substring functions; fix a nasty MonoReduce pattern match substitution bugGravatar Adam Chlipala2009-05-30
* String.lengthGravatar Adam Chlipala2009-05-30
* Chars and more string operationsGravatar Adam Chlipala2009-05-26