script.kps 399 Bytes
Newer Older
1
2
// Please select one of the following scripts.
//
3

Sarah Grebing's avatar
Sarah Grebing committed
4
5
6
7
8
9
script toRemove(){
  impRight;
  useContract type='dependency' on=`p`;

}

Sarah Grebing's avatar
interim    
Sarah Grebing committed
10
script autoScript(){
11
12
    __STRICT_MODE := true;
    auto;
Sarah Grebing's avatar
interim    
Sarah Grebing committed
13
14
}

15
script interactive(){
16
  impRight;
Sarah Grebing's avatar
Sarah Grebing committed
17
  impRight;
18
  impLeft;
19

20
}
Sarah Grebing's avatar
interim    
Sarah Grebing committed
21

22
script interactive_with_match(){
23
24
25
26
27
28
29
impRight;
impLeft;
cases{
    case match `?X -> ?Y ==> not(?Z)`:
      notLeft;
    default:
      notRight;
30
    }
31
32

}