summaryrefslogtreecommitdiff
path: root/tests/substring.urp
Commit message (Collapse)AuthorAge
* Substring functions; fix a nasty MonoReduce pattern match substitution bugGravatar Adam Chlipala2009-05-30