K mode module CALCULATOR-SYNTAX syntax Expressions ::= Int | "(" Expressions ")" [bracket] > left: Expressions "*" Expressions [left, strict] | Expressions "/" Expressions [left, strict] | Expressions "%" Expressions [left, strict] > left: Expressions "+" Expressions [left, strict] | Expressions "-" Expressions [left, strict] endmodule module CALCULATOR imports CALCULATOR-SYNTAX syntax KResult ::= Int configuration <k> $PGM:Expressions </k> // math rules rule I1:Int + I2:Int => I1 +Int I2 rule I1:Int - I2:Int => I1 -Int I2 rule I1:Int * I2:Int => I1 *Int I2 rule I1:Int / I2:Int => I1 /Int I2 when I2 =/=Int 0 rule I1:Int % I2:Int => I1 %Int I2 when I2 =/=Int 0 endmodule K CodeMirror mode developed by Loghin L. Alexandru. MIME types defined: text/x-k
