ca010363454de207082dfaa4b753531ce2a34551Christian Maeder*

ca010363454de207082dfaa4b753531ce2a34551Christian Maeder**

49fc18b4bb1d4a8d3ec05e0cffd5f0475b289592Christian Maedera_a

97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian Maeder__

ca010363454de207082dfaa4b753531ce2a34551Christian Maeder123

eca29a7be76eb73944ec19b06eda3d6a9e6e543dChristian Maeder1.2

ca010363454de207082dfaa4b753531ce2a34551Christian Maeder1

49fc18b4bb1d4a8d3ec05e0cffd5f0475b289592Christian Maeder1.2E3

ca010363454de207082dfaa4b753531ce2a34551Christian Maeder0E1

79d11c2e3ad242ebb241f5d4a5e98a674c0b986fChristian Maeder12.23E34

ca010363454de207082dfaa4b753531ce2a34551Christian Maeder"bla"

ca010363454de207082dfaa4b753531ce2a34551Christian Maeder""

49fc18b4bb1d4a8d3ec05e0cffd5f0475b289592Christian Maeder<

ca010363454de207082dfaa4b753531ce2a34551Christian Maeder<=

ca010363454de207082dfaa4b753531ce2a34551Christian Maeder.a

ca010363454de207082dfaa4b753531ce2a34551Christian Maeder'a'

ca010363454de207082dfaa4b753531ce2a34551Christian Maeder< [a,b]

b603f34b79bc0992e5d74f484e5bdc9f9c2346c6Christian Maeder<=[a,b]

53301de22afd7190981b363b57c48df86fcb50f7Christian Maeder.a[a,b]

4561227a776bdf0ab679b19fb92f1eaaed8786f7Christian Maeder'a'[a,b]

c438c79d00fc438f99627e612498744bdc0d0c89Christian Maeder__*__

23f8d286586ff38a9e73052b2c7c04c62c5c638fChristian Maeder(a __ b)

e68f45f355ed9d4026ee9baff5aa75aa7c911cc2Christian Maeder(a __ b) a

ad270004874ce1d0697fb30d7309f180553bb315Christian Maederb(a __ b)

fc8c6570c7b4ee13f375eb607bed2290438573bfChristian Maederb(a __ b) a

83cc27e4ca7cf1a4bb5f4a8df17d3e6d44e6f1eaChristian Maeder{a __ b}

53301de22afd7190981b363b57c48df86fcb50f7Christian Maeder{a __ b} a

028f19cdb09d52bb2fd207399b6fa874540d1670Christian Maederb{a __ b}

975642b989852fc24119c59cf40bc1af653608ffChristian Maederb{a __ b} a

53301de22afd7190981b363b57c48df86fcb50f7Christian Maeder[a __ b]

83cc27e4ca7cf1a4bb5f4a8df17d3e6d44e6f1eaChristian Maeder[a __ b] a

fc8c6570c7b4ee13f375eb607bed2290438573bfChristian Maederb[a __ b]

83cc27e4ca7cf1a4bb5f4a8df17d3e6d44e6f1eaChristian Maederb[a __ b] a

79d11c2e3ad242ebb241f5d4a5e98a674c0b986fChristian Maeder({}, [], {[]{}})

53301de22afd7190981b363b57c48df86fcb50f7Christian Maeder{{}, [], {[]{}}}

53301de22afd7190981b363b57c48df86fcb50f7Christian Maeder[{}, [], {[]{}}]

49fc18b4bb1d4a8d3ec05e0cffd5f0475b289592Christian Maeder(var y : bb)

53301de22afd7190981b363b57c48df86fcb50f7Christian Maeder(op y : bb)

53301de22afd7190981b363b57c48df86fcb50f7Christian Maeder(op __<__ : a)

dcb9ff0e2c2379735acce7073196508d455e0b01Christian Maeder(op __<__ :a ->b)

dcb9ff0e2c2379735acce7073196508d455e0b01Christian Maeder(op __<__ :a ->?b)

49fc18b4bb1d4a8d3ec05e0cffd5f0475b289592Christian Maeder(op __<__ :a ->? b)

53301de22afd7190981b363b57c48df86fcb50f7Christian Maeder(op __<__ : bb)

49fc18b4bb1d4a8d3ec05e0cffd5f0475b289592Christian Maeder(op __<__ :? bb)

5e605dc61ff9ec5724c319603905dc9b0dccc05fChristian Maeder(op __<__ : ? a)

369454f9b2dbea113cbb40544a9b0f31425b2c69Christian Maeder(op __<__ : a)

2fc11b362b9242202bda207e7c7ecc7771f1a5e3Christian Maeder(op __<__ :a)

49fc18b4bb1d4a8d3ec05e0cffd5f0475b289592Christian Maederys as b

49fc18b4bb1d4a8d3ec05e0cffd5f0475b289592Christian Maeder(predy y : bb)

49fc18b4bb1d4a8d3ec05e0cffd5f0475b289592Christian Maeder(predy : bb)

49fc18b4bb1d4a8d3ec05e0cffd5f0475b289592Christian Maeder(predy : bb)

d48085f765fca838c1d972d2123601997174583dChristian Maedera when b else c

53301de22afd7190981b363b57c48df86fcb50f7Christian Maeder#as b

2fc11b362b9242202bda207e7c7ecc7771f1a5e3Christian Maedera b when b c else a f g when f a f else f a f g when f a f else f

49fc18b4bb1d4a8d3ec05e0cffd5f0475b289592Christian Maeder(pred y : bb) %[accepted for technical reason]%

2fc11b362b9242202bda207e7c7ecc7771f1a5e3Christian Maeder(pred y:bb)

49fc18b4bb1d4a8d3ec05e0cffd5f0475b289592Christian Maeder(pred y:())

2fc11b362b9242202bda207e7c7ecc7771f1a5e3Christian Maeder12.23E-34

49fc18b4bb1d4a8d3ec05e0cffd5f0475b289592Christian Maeder+12.23E+34

49fc18b4bb1d4a8d3ec05e0cffd5f0475b289592Christian Maeder-12.23E-34

b645cf3dc1e449038ed291bbd11fcc6e02b2fc7fChristian Maeder-12.23E34

49fc18b4bb1d4a8d3ec05e0cffd5f0475b289592Christian Maeder-1

2fc11b362b9242202bda207e7c7ecc7771f1a5e3Christian Maeder+2

49fc18b4bb1d4a8d3ec05e0cffd5f0475b289592Christian Maeder(12.23E34) : a as a : a

2fc11b362b9242202bda207e7c7ecc7771f1a5e3Christian Maeder-__(-__((a))) : a

49fc18b4bb1d4a8d3ec05e0cffd5f0475b289592Christian Maeder__!(__!(a)) : a

2fc11b362b9242202bda207e7c7ecc7771f1a5e3Christian Maeder__+__((a), b) : c

49fc18b4bb1d4a8d3ec05e0cffd5f0475b289592Christian Maeder-((op f__ : a -> a)(a)!) :a

49fc18b4bb1d4a8d3ec05e0cffd5f0475b289592Christian Maeder