[Haskell-cafe] KiCS (Curry to Haskell interpreter) problem

[Bernd Brassel]

> 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

(True,False)
More?

(False,True)
More?

No more solutions

> I would have contacted the author but his email in not in the haskell
> cabal file.

Thanks for the hint. I have added my mail now and will do another update in a few weeks. Meanwhile, anyone interested in the system can contact me directly under  "bbr at informatik.uni-kiel.de"

Thanks for your interest in kics!
Bernd