| changeset 2931 | aaef9dec5e1d |
| parent 2862 | 47063163f333 |
| 2930:1d9e50934bc5 | 2931:aaef9dec5e1d |
|---|---|
5 |
5 |
6 declare [[show_question_marks = false]] |
6 declare [[show_question_marks = false]] |
7 |
7 |
8 section {* Introduction *} |
8 section {* Introduction *} |
9 |
9 |
10 text {* |
|
11 mention Russo paper which concludes that technology is not |
|
12 ready beyond core-calculi. |
|
10 |
13 |
14 |
|
15 |
|
16 *} |
|
11 |
17 |
12 |
18 |
13 (*<*) |
19 (*<*) |
14 end |
20 end |
15 (*>*) |
21 (*>*) |