There was an error while loading. Please reload this page.
/
*
%
-
+
<<
>>
>>>
>
>=
<
<=
==
!=
&
^
|
&&
@and
||
@or
!
@not
~
You can write your own operators, in fact, operators are just function calls. For example:
set1 @union set2
Is the same as:
(set1) union (set2)
And unary operators are similar:
@succ n
succ (n)