Closed alexfikl closed 2 years ago
Managed to write Comparison("<", x, y) and was confused what it didn't like :(
Comparison("<", x, y)
Thanks!
Managed to write
Comparison("<", x, y)
and was confused what it didn't like :(