4 lines
106 B
Text
4 lines
106 B
Text
|
"hello" = "hello" *> equality
|
||
|
|
"helloo" <> "hello" *> inequality
|
||
|
|
"aello" < "hello" *> lexical ordering
|