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

Sarah Grebing's avatar
Sarah Grebing committed
4
script autoScript(){
5
    //auto;
Sarah Grebing's avatar
Sarah Grebing committed
6 7
}

8
script interactive(){
9
  impRight;
Sarah Grebing's avatar
Sarah Grebing committed
10
  impRight;
11
  impLeft;
12

13
}
Sarah Grebing's avatar
Sarah Grebing committed
14

15
script interactive_with_match(){
16 17 18 19 20 21 22
impRight;
impLeft;
cases{
    case match `?X -> ?Y ==> not(?Z)`:
      notLeft;
    default:
      notRight;
23
    }
24 25

}