Comparison: Difference between revisions
Content added Content deleted
(add equal primitive) |
(add equal sign to primitive infobox) |
||
Line 1: | Line 1: | ||
{{primitive|x<y<br>x>y}} |
{{primitive|x<y<br>x>y<br>x=y}} |
||
The comparison primitives in K are <code><</code>, <code>></code> and <code>=</code> which stand for lesser than, greater than and equal to respectively. |
The comparison primitives in K are <code><</code>, <code>></code> and <code>=</code> which stand for lesser than, greater than and equal to respectively. |