Cross Reference: WrongTerms.casl
xref
: /
hets
/
HasCASL
/
TypeAna.hs
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
WrongTerms.casl revision 4654dbb45f8a4aea7aa5fed6be22c9efff19bfca
7abd0c58a5ce51db13f93de82407b2188d55d298
Christian Maeder
1E
7abd0c58a5ce51db13f93de82407b2188d55d298
Christian Maeder
1.
7abd0c58a5ce51db13f93de82407b2188d55d298
Christian Maeder
=
75a6279dbae159d018ef812185416cf6df386c10
Till Mossakowski
=[a,b]
c00adad2e9459b422dee09e3a2bddba66b433bb7
Christian Maeder
(a, =, b)
7abd0c58a5ce51db13f93de82407b2188d55d298
Christian Maeder
as s
7abd0c58a5ce51db13f93de82407b2188d55d298
Christian Maeder
: s
7abd0c58a5ce51db13f93de82407b2188d55d298
Christian Maeder
true
7abd0c58a5ce51db13f93de82407b2188d55d298
Christian Maeder
false
c18e9c3c6d5039618f1f2c05526ece84c7794ea3
Christian Maeder
a when f else
c00adad2e9459b422dee09e3a2bddba66b433bb7
Christian Maeder
var x
c00adad2e9459b422dee09e3a2bddba66b433bb7
Christian Maeder
(var x :? s)
e8ffec0fa3d3061061bdc16e44247b9cf96b050f
Christian Maeder
not
c00adad2e9459b422dee09e3a2bddba66b433bb7
Christian Maeder
def
e8ffec0fa3d3061061bdc16e44247b9cf96b050f
Christian Maeder
=e=
e8ffec0fa3d3061061bdc16e44247b9cf96b050f
Christian Maeder
=>
e8ffec0fa3d3061061bdc16e44247b9cf96b050f
Christian Maeder
if
8197d0be8b81692f311ad5ca34e125e2cf9eecb8
Christian Maeder
<=>
f71a8dcf94fd9eb3c9800e16dcdc5e5ff74e5c22
Christian Maeder
/\
3a9dafc31d54a6bdac1acda72bb15aceffb0240f
Christian Maeder
\/
8197d0be8b81692f311ad5ca34e125e2cf9eecb8
Christian Maeder