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

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

8
script interactive(){
9
  impRight;
Sarah Grebing's avatar
Sarah Grebing committed
10
  impRight;
11 12 13 14 15
  impLeft;
  cases {
  	case match '#0 // .*':
  		notRight formula=`(!p)`;
  		close formula=`p`;
Sarah Grebing's avatar
Sarah Grebing committed
16

17 18 19 20 21
  	case match '#1 // .*':
  		notRight formula=`(!p)`;
  		notLeft formula=`(!q)`;
  		close formula=`q`;
  }
22
}
Sarah Grebing's avatar
Sarah Grebing committed
23

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

}