__+__(__+__(__+__(__+__(__*__(4, __^__(x, 4)),

__*__(3, __^__(x, 3))),

__*__(2, __^__(x, 2))),

__*__(1, __^__(x, 1))),

__*__(0, __^__(x, 0)))

__::::__('a',

__::::__('b',

__::::__('\"',

__::::__('\'', __::::__('\n', __::::__('\\', empty))))))

__@@__(1, 2)

__:::__(__@@__(1, 2), 1)

__E__(1, 1)

__E__(__:::__(1, 0), 2)

__E__(__:::__(1, 0), - __@@__(2, 3))

__+__(__@@__(1, 2),

__*__(__@@__(3, 4),

__::::__('a', __::::__('f', __::::__('a', empty)))))

__+__(empty, empty)

(op x : a) ((a, b))

a

__+__(a, b)

a (: (s + b) : s)

parse error at 14.12:

unexpected "as" or "a"

expecting "[", "%", "->", cross, ->, "=e=", "=", id/literal, "{", "(", "if", "when", "forall", exists, "\\", "case", "let", "where" or end of input

parse error at 15.7:

unexpected "as" or "a"

expecting "[", "%", "->", cross, ->, "=e=", "=", id/literal, "{", "(", "if", "when", "forall", exists, "\\", "case", "let", "where" or end of input

[]

+__ a

a + b

__when__else__(a, __<__(a, b), b)

__when__else__(a, (pred a : b), b)

{____}(a, b)

*** Error 22.1-22.5, ambiguous mixfix term

(a (b)) p

____p(a, b)

__p a (b)

*** Error 23.1-23.5, ambiguous mixfix term

(q (a)) b

q____(a, b)

*** Error 24.1-24.4, ambiguous mixfix term

B ([ b ])

__[__](B, b)

*** Error 25.1-25.11, ambiguous mixfix term

B ((a (c :: d :: [ ])) :: b :: [ ])

B[a[c,d],b]

__::__(a, __::__(__::__(c, __::__(d, [])), __::__(b, [])))

__::__(a (c :: d :: [ ]), __::__(b, []))

*** Error 27.1-27.10, ambiguous mixfix term

__::__(a (c :: d :: [ ]), __::__(b, []))

__::__(a[c,d], __::__(b, []))

a B [a[c,d], b] b

while__do__od(while__do__od(a, b), c)

while__do__od(while__do__od(a, b), while__do__od(c, d))

{____}(a, {____}(b, c))

__::__(a, __::__(A__ 0 (B), []))

*** Error 32.1-32.10, ambiguous mixfix term

__::__(a, __::__(A__ 0 (B), []))

__::__(a, __::__((A (0)) B, []))

*** Error 33.1-33.9, ambiguous mixfix term

A (A (0 (B)) B)

A__ A__ (0 (B)) B

(A (A 0 B)) B

A__B A__ 0 (B)

__+__(__+__(b, A__ 0 (B)), b)

*** Error 34.1-34.13, ambiguous mixfix term

__+__(__+__(b, A__ 0 (B)), b)

__+__(__+__(b, (A (0)) B), b)

-__ A__ 0 (B)

*** Error 35.1-35.7, ambiguous mixfix term

-__ A__ 0 (B)

-__ (A (0)) B

__! __! __! a

__-->__(__-->__(__{__}--__-->{__}__(Pl7, nicht_wenden,

folge_dem_Gang, nicht_wenden, Pl3),

RS3),

RS6)

__*__(__+__(a, b), c)

__*__(a, __*__(b, c))

__*__(c, __+__(a, b))

__*__(__*__(a, b), c)

__*__(s (n), c)

__! - a