Omar Duhaiby
Omar Duhaiby
Before K4.0, using the substitution module, I could do something like this: ``` rule prep(A, Body, B) => prep(Body[A / B]) ``` Now the substitution inside `prep` upsets the parser....
I'm trying to migrate my Orc specs from K3.5 and 3.6 to 4.0. I'm using the latest master and I regularly update and recompile it. My problem is with using...
Hello. I have an interesting case here. My project worked correctly on K3.5 and K3.6. However, in the latest master of K4.0, I am getting a `java.lang.AssertionError` on `kompile`. I...
I think I found another bug in K4.0. See the following code: ``` ruby module TEST imports TEST-SYNTAX configuration $PGM:Pgm .Ids rule Ps:Ids => .Ids Ps endmodule module TEST-SYNTAX syntax...
I'm defining many math functions in my language by rewriting them directly to K-builtin ones like so: ``` rule Ceil(V:Float) => ceilFloat(V) rule Round(V:Float, I1:Int, I2:Int) => roundFloat(V,I1,I2) ``` Only...
Does K have a built-in data type for rationals like Maude's `Rat`?
Hello. I wanted to develop the IntelliJ Idea plugin for the K language. I want to add features like highlighting of rule LHS/RHS with the rewrite symbol, and folding modules...
Hello. Just made a few cosmetic changes to the Readme, and added a link to the license file.
I have a few suggestions: 1. We could use the tikz library `automata`, and then instead of `\draw`, we use `\node` and `\path`, which will yield much cleaner latex, and...