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

Sarah Grebing's avatar
Sarah Grebing committed
4
script autoScript(){
5 6
    __STRICT_MODE := true;
    auto;
Sarah Grebing's avatar
Sarah Grebing committed
7 8
}

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

14
}
Sarah Grebing's avatar
Sarah Grebing committed
15

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

}