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

Bernd Brassel bbr at informatik.uni-kiel.de
Wed Dec 2 03:43:11 EST 2009

> 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



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!

More information about the Haskell-Cafe mailing list