| changeset 1629 | a0ca7d9f6781 |
| parent 1604 | 5ab97f43ec24 |
| child 1656 | c9d3dda79fe3 |
| 1628:ddf409b2da2b | 1629:a0ca7d9f6781 |
|---|---|
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 ]; |