[Haskell-cafe] KiCS (Curry to Haskell interpreter) problem
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