Dafny strings need a lexicographic comparison operator #1070
Labels
kind: enhancement
Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny
priority: not yet
Will reconsider working on this when we're looking for work
The < and <= operators on strings mean prefix operations (unfortunately, IMHO).
Dafny should have an intuitive, compact syntax for lexicographic comparison as well (or instead).
The text was updated successfully, but these errors were encountered: