| changeset 1633 | 9e31248a1b8c |
| parent 1629 | a0ca7d9f6781 |
| child 1656 | c9d3dda79fe3 |
| 1632:68c8666453f7 | 1633:9e31248a1b8c |
|---|---|
12 "Ex2", |
12 "Ex2", |
13 "Ex3", |
13 "Ex3", |
14 "ExLet", |
14 "ExLet", |
15 "ExLetRec", |
15 "ExLetRec", |
16 "ExTySch", |
16 "ExTySch", |
17 "ExLeroy" |
17 "ExLeroy", |
18 "Test" |
|
18 (* "ExCoreHaskell", *) |
19 (* "ExCoreHaskell", *) |
19 (* "ExPS3", *) |
20 (* "ExPS3", *) |
20 (* "ExPS6", *) |
21 (* "ExPS6", *) |
21 ]; |
22 ]; |