I am playing around with KiCS and I have a strange problem, when I
evaluate a goal the variable bindings are not displayed, I see only
the value of the expression.
The idea is, that you decide yourself which bindings you want to see.
For example, you write (let x free in (not x,x)) to get
Hi,
I am playing around with KiCS and I have a strange problem, when I
evaluate a goal the variable bindings are not displayed, I see only
the value of the expression.
The same expression evaluated in pakcs (another curry interpreter)
displays the bindings correctly.
Is this a known bug?
I
