Cross Reference: WrongTerms.casl
xref
: /
hets
/
CASL
/
test
/
WrongTerms.casl
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
4654dbb45f8a4aea7aa5fed6be22c9efff19bfca
Christian Maeder
1E
4654dbb45f8a4aea7aa5fed6be22c9efff19bfca
Christian Maeder
1.
4654dbb45f8a4aea7aa5fed6be22c9efff19bfca
Christian Maeder
=
4654dbb45f8a4aea7aa5fed6be22c9efff19bfca
Christian Maeder
=[a,b]
4654dbb45f8a4aea7aa5fed6be22c9efff19bfca
Christian Maeder
(a, =, b)
4654dbb45f8a4aea7aa5fed6be22c9efff19bfca
Christian Maeder
as s
4654dbb45f8a4aea7aa5fed6be22c9efff19bfca
Christian Maeder
: s
4654dbb45f8a4aea7aa5fed6be22c9efff19bfca
Christian Maeder
true
4654dbb45f8a4aea7aa5fed6be22c9efff19bfca
Christian Maeder
false
4654dbb45f8a4aea7aa5fed6be22c9efff19bfca
Christian Maeder
a when f else
4654dbb45f8a4aea7aa5fed6be22c9efff19bfca
Christian Maeder
var x
4654dbb45f8a4aea7aa5fed6be22c9efff19bfca
Christian Maeder
(var x :? s)
4654dbb45f8a4aea7aa5fed6be22c9efff19bfca
Christian Maeder
not
4654dbb45f8a4aea7aa5fed6be22c9efff19bfca
Christian Maeder
def
4654dbb45f8a4aea7aa5fed6be22c9efff19bfca
Christian Maeder
=e=
4654dbb45f8a4aea7aa5fed6be22c9efff19bfca
Christian Maeder
=>
4654dbb45f8a4aea7aa5fed6be22c9efff19bfca
Christian Maeder
if
4654dbb45f8a4aea7aa5fed6be22c9efff19bfca
Christian Maeder
<=>
4654dbb45f8a4aea7aa5fed6be22c9efff19bfca
Christian Maeder
/\
4654dbb45f8a4aea7aa5fed6be22c9efff19bfca
Christian Maeder
\/