Daejun Park

Declare a cell with `stream="stdin"` attribute and match an item in it, then you can get an input for it. Please refer to `IMP++` tutorial for details: https://github.com/kframework/k/blob/master/k-distribution/tutorial/1_k/4_imp%2B%2B/lesson_8/imp.k#L189 https://github.com/kframework/k/blob/master/k-distribution/tutorial/1_k/4_imp%2B%2B/lesson_8/imp.k#L378-L379

There is no explicit option for that, but you can easily modify (by augmenting) the semantics to print out values of variables whenever they are updated. Printing out values is...

In general, you can have additional information in the configuration, and control behavior using the information. For the type information, for example, you can either associate each variable to a...

@tomofumi-yuki We recommend to enclose the cell of `multiplicity=*` with another cell, e.g., as follows: ``` ... ``` Also, you have to qualify the dot `.` with a proper sort...

@kheradmand The problem is due to the function attribute `[function]`. The rule for the functional term cannot mention other cells. So, a fix could be to either drop the function...

You can get a character in each position using `substrString`. For example, `substrString(s, i, i+1)` will return the i-th character of `s`. https://github.com/kframework/k/blob/master/k-distribution/include/builtin/domains.k#L422 Using the above, you can traverse the...

It is not a bug, but a feature. It works as follows: Suppose you kompile `imp.k`. - By default, `imp-kompiled` directory is created in the directory `imp.k` resides in. -...

Do not use `Bag` other than `.Bag`. You can say `K` for the function argument sort. For `< controlFlows>` cell, you should use the correct sort.

Um, then try without specifying the sort. Also try to pass the whole cell ` Fls ` into the function.

Also, take a look at KOOL tutorial. There should be similar use cases.