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

4b0a4c7dea0f67a233dcc42ce9bb18d36de109aeChristian Maeder (__*__)(3, (__^__)(x, 3))),

5ba323da9f037264b4a356085e844889aedeac23Christian Maeder (__*__)(2, (__^__)(x, 2))),

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

98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu Prodescu (__*__)(0, (__^__)(x, 0)))

ea03c5d09694b4a966fbd19d46cfa5772648d95fChristian Maeder(__::::__)('a',

3f69b6948966979163bdfe8331c38833d5d90ecdChristian Maeder (__::::__)('b',

4b0a4c7dea0f67a233dcc42ce9bb18d36de109aeChristian Maeder (__::::__)('\"',

4561227a776bdf0ab679b19fb92f1eaaed8786f7Christian Maeder (__::::__)('\'', (__::::__)('\n', (__::::__)('\\', empty))))))

4b0a4c7dea0f67a233dcc42ce9bb18d36de109aeChristian Maeder(__@@__)(1, 2)

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

ea03c5d09694b4a966fbd19d46cfa5772648d95fChristian Maeder(__E__)(1, 1)

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

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

502ed7ed7fecd10b6d0c83cdd48a244ec45e840aChristian Maeder(__+__)((__@@__)(1, 2),

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

950e053ba55ac9c7d9c26a1ab48bd00202b29511Christian Maeder (__::::__)('a', (__::::__)('f', (__::::__)('a', empty)))))

81946e2b3f6dde6167f48769bd02c7a634736856Christian Maeder(__+__)(empty, empty)

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

ad270004874ce1d0697fb30d7309f180553bb315Christian Maedera

f8c07dc6526e0134d66885d461a30abadc2c6038Christian Maeder(__+__)(a, b)

afa6848d579d235c9677e1ab477916df8e5ae11aChristian Maedera : s + b : s

dc6b48bb46df8e56da3491c98476e6da0d1d5d1dChristian Maederparse error at 14.12:

4561227a776bdf0ab679b19fb92f1eaaed8786f7Christian Maederunexpected "as" or "a"

b603f34b79bc0992e5d74f484e5bdc9f9c2346c6Christian Maederexpecting [<id>,...,<id>], "%%", "%{", "%(", "%", "+", "-", "->", cross, "->?", "-->", "-->?", "=e=", "=", id/literal, "{", "[", "(", "if", "forall", "exists!", "exists", "\\", "case", "let", "where" or end of input

4561227a776bdf0ab679b19fb92f1eaaed8786f7Christian Maeder

c00adad2e9459b422dee09e3a2bddba66b433bb7Christian Maederparse error at 15.7:

9348e8460498ddfcd9da11cd8b5794c06023e004Christian Maederunexpected "as" or "a"

fd5d3885a092ac0727fa2436cdfc3b248318ebd8Christian Maederexpecting [<id>,...,<id>], "%%", "%{", "%(", "%", "+", "-", "->", cross, "->?", "-->", "-->?", "=e=", "=", id/literal, "{", "[", "(", "if", "forall", "exists!", "exists", "\\", "case", "let", "where" or end of input

4561227a776bdf0ab679b19fb92f1eaaed8786f7Christian Maeder

0be2d0cfd911d313e7e941edbc77f95052c8c19bChristian Maeder([])

0be2d0cfd911d313e7e941edbc77f95052c8c19bChristian Maeder(+__)(a)

f26a1fc3851297e6483cf3fb56e9c0967b8f8b13Christian Maeder(__+__) (a, b)

16e124196c6b204769042028c74f533509c9b5d3Christian Maeder(__when__else__)(a, (__<__)(a, b), b)

502ed7ed7fecd10b6d0c83cdd48a244ec45e840aChristian Maeder(__when__else__)(a, (predfun a : b ->? Unit), b)

0be2d0cfd911d313e7e941edbc77f95052c8c19bChristian Maeder({____})(a, b)

7de39d39bc1700cc8a9bb9df90b920aad9e18d4aChristian Maeder*** Error 22.1, ambiguous mixfix term

c00adad2e9459b422dee09e3a2bddba66b433bb7Christian Maeder a ((__p)(b))

9348e8460498ddfcd9da11cd8b5794c06023e004Christian Maeder a b p

502ed7ed7fecd10b6d0c83cdd48a244ec45e840aChristian Maeder (____p)(a, b)

4561227a776bdf0ab679b19fb92f1eaaed8786f7Christian Maeder*** Error 23.1, ambiguous mixfix term

4561227a776bdf0ab679b19fb92f1eaaed8786f7Christian Maeder q a b

fd5d3885a092ac0727fa2436cdfc3b248318ebd8Christian Maeder (q____)(a, b)

4561227a776bdf0ab679b19fb92f1eaaed8786f7Christian Maeder*** Error 24.1, ambiguous mixfix term

0be2d0cfd911d313e7e941edbc77f95052c8c19bChristian Maeder B (([__])(b))

7de39d39bc1700cc8a9bb9df90b920aad9e18d4aChristian Maeder (__[__])(B, b)

0be2d0cfd911d313e7e941edbc77f95052c8c19bChristian Maeder*** Error 25.1, ambiguous mixfix term

0be2d0cfd911d313e7e941edbc77f95052c8c19bChristian Maeder B ((__::__)(a ((__::__)(c, (__::__)(d, ([])))), (__::__)(b, ([]))))

23f8d286586ff38a9e73052b2c7c04c62c5c638fChristian Maeder (B[a[c,d],b])

9348e8460498ddfcd9da11cd8b5794c06023e004Christian Maeder(__::__)(a,

0be2d0cfd911d313e7e941edbc77f95052c8c19bChristian Maeder (__::__)((__::__)(c, (__::__)(d, ([]))), (__::__)(b, ([]))))

7de39d39bc1700cc8a9bb9df90b920aad9e18d4aChristian Maeder(__::__)(a ((__::__)(c, (__::__)(d, ([])))), (__::__)(b, ([])))

0be2d0cfd911d313e7e941edbc77f95052c8c19bChristian Maeder*** Error 10.18, ambiguous mixfix term

23f8d286586ff38a9e73052b2c7c04c62c5c638fChristian Maeder (__::__)(a ((__::__)(c, (__::__)(d, ([])))), (__::__)(b, ([])))

4561227a776bdf0ab679b19fb92f1eaaed8786f7Christian Maeder (__::__)((a[c,d]), (__::__)(b, ([])))

7de39d39bc1700cc8a9bb9df90b920aad9e18d4aChristian Maeder(__B[a[c,d],b]__) (a, b)

aff01ee50b66032469c232e00c945d1fd4f57d1bChristian Maeder(while__do__od)((while__do__od)(a, b), c)

54ff63bb3b23ef18efbdc51b053a2ca6f348329aChristian Maeder(while__do__od)((while__do__od)(a, b), (while__do__od)(c, d))

54ff63bb3b23ef18efbdc51b053a2ca6f348329aChristian Maeder({____})(a, ({____})(b, c))

54ff63bb3b23ef18efbdc51b053a2ca6f348329aChristian Maeder(__::__)(a, (__::__)(A 0 B, ([])))

54ff63bb3b23ef18efbdc51b053a2ca6f348329aChristian Maeder*** Error 32.5, ambiguous mixfix term

54ff63bb3b23ef18efbdc51b053a2ca6f348329aChristian Maeder A 0 B

0be2d0cfd911d313e7e941edbc77f95052c8c19bChristian Maeder (A__)(0) B

f454c20b6c126bea7d31d400cc8824b9ee8cc6eaChristian Maeder*** Error 33.1, ambiguous mixfix term

0be2d0cfd911d313e7e941edbc77f95052c8c19bChristian Maeder A ((A__B)(0 B))

e1839fb37a3a2ccd457464cb0dcc5efd466dbe22Christian Maeder (A__)((A__B)(0 B))

9348e8460498ddfcd9da11cd8b5794c06023e004Christian Maeder A ((A__B)(0)) B

0be2d0cfd911d313e7e941edbc77f95052c8c19bChristian Maeder (A__B)(A 0 B)

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

0be2d0cfd911d313e7e941edbc77f95052c8c19bChristian Maeder*** Error 34.5, ambiguous mixfix term

0be2d0cfd911d313e7e941edbc77f95052c8c19bChristian Maeder A 0 B

27912d626bf179b82fcb337077e5cd9653bb71cfChristian Maeder (A__)(0) B

0be2d0cfd911d313e7e941edbc77f95052c8c19bChristian Maeder*** Error 35.1, ambiguous mixfix term

cf3232cec840a6945667bdb06f5b47b22243bc8fChristian Maeder (-__)((A__B)(0))

9348e8460498ddfcd9da11cd8b5794c06023e004Christian Maeder (-__)((A__)(0)) B

0be2d0cfd911d313e7e941edbc77f95052c8c19bChristian Maeder(__!)((__!)((__!)(a)))

0be2d0cfd911d313e7e941edbc77f95052c8c19bChristian Maeder(__-->__)((__-->__)((__{__}--__-->{__}__)(Pl7, nicht_wenden,

f26a1fc3851297e6483cf3fb56e9c0967b8f8b13Christian Maeder folge_dem_Gang, nicht_wenden, Pl3),

ad187062b0009820118c1b773a232e29b879a2faChristian Maeder RS3),

0be2d0cfd911d313e7e941edbc77f95052c8c19bChristian Maeder RS6)

5ba323da9f037264b4a356085e844889aedeac23Christian Maeder(__*__)((__+__)(a, b), c)

5ba323da9f037264b4a356085e844889aedeac23Christian Maeder(__*__)(a, (__*__)(b, c))

5ba323da9f037264b4a356085e844889aedeac23Christian Maeder(__*__)(c, (__+__)(a, b))

16e124196c6b204769042028c74f533509c9b5d3Christian Maeder(__*__)((__*__)(a, b), c)

16e124196c6b204769042028c74f533509c9b5d3Christian Maeder(__*__)(s n, c)

16e124196c6b204769042028c74f533509c9b5d3Christian Maeder(-__) ((__!)(a))

16e124196c6b204769042028c74f533509c9b5d3Christian Maeder