01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maeder4*x^4+3*x^3+2*x^2+1*x^1+0*x^0

01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maeder"ab\"'\n\\"

1549f3abf73c1122acff724f718b615c82fa3648Till Mossakowski12

97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian Maeder12.1

01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maeder1E1

b4fbc96e05117839ca409f5f20f97b3ac872d1edTill Mossakowski1.0E2

01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maeder1.0E-23

01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maeder12+34*"afa"

f3a94a197960e548ecd6520bb768cb0d547457bbChristian Maeder""+""

58b671de3fe578346fef9642ffa3c5a0a0edb3cbTill Mossakowski(op x: a)(a,b)

1549f3abf73c1122acff724f718b615c82fa3648Till Mossakowski(a)

01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maeder(a,b)

1549f3abf73c1122acff724f718b615c82fa3648Till Mossakowskia:s + b:s

1549f3abf73c1122acff724f718b615c82fa3648Till Mossakowskia as s : s as s

1549f3abf73c1122acff724f718b615c82fa3648Till Mossakowskia:s:s as s as s

1549f3abf73c1122acff724f718b615c82fa3648Till Mossakowski[]

a001917177db7ae636853b37c0d0f9f4e90a83ffChristian Maeder+a

a001917177db7ae636853b37c0d0f9f4e90a83ffChristian Maeder__+__(a,b)

01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maedera when a < b else b

01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maedera when (pred a:b) else b

01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maeder{a b}

01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maedera b p

f8b715ab2993083761c0aedb78f1819bcf67b6ccChristian Maederq a b

01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian MaederB[b]

575a55eadc8dcab8ee350324b417cbd9e52e69c0Christian MaederB[a[c,d],b]

01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maeder[a,[c,d],b]

01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maeder[a[c,d],b]

5e46b572ed576c0494768998b043d9d340594122Till Mossakowski__B[a[c,d],b]__(a,b)

db453fe9625a9dab5d108f7a5e464598814144b8Jian Chun Wangwhile while a do b od do c od

23a00c966f2aa8da525d7a7c51933c99964426c0Christian Maederwhile while a do b od do while c do d od od

575a55eadc8dcab8ee350324b417cbd9e52e69c0Christian Maeder{a {b c}}

575a55eadc8dcab8ee350324b417cbd9e52e69c0Christian Maeder[a, A 0 B]

575a55eadc8dcab8ee350324b417cbd9e52e69c0Christian MaederA A 0 B B

575a55eadc8dcab8ee350324b417cbd9e52e69c0Christian Maederb + A 0 B + b

db453fe9625a9dab5d108f7a5e464598814144b8Jian Chun Wang- A 0 B

db453fe9625a9dab5d108f7a5e464598814144b8Jian Chun Wanga ! ! !

575a55eadc8dcab8ee350324b417cbd9e52e69c0Christian MaederPl7{nicht_wenden}-- folge_dem_Gang -->{nicht_wenden}Pl3 --> RS3 --> RS6

575a55eadc8dcab8ee350324b417cbd9e52e69c0Christian Maeder