purely functional lazy non-deterministic programming

[Sebastian Fischer]

Dear Haskell and Curry programmers,

there is now a Haskell library that supports lazy functional-logic  
programming in Haskell. It is available from

     http://sebfisch.github.com/explicit-sharing

and can be obtained from Hackage using cabal-install. The project page  
links to tutorials that explain how to use the library and to an  
ICFP'09 paper (joint work with Oleg Kiselyov and Chung-chieh Shan)  
that explains the implemented ideas in depth.

Have fun!
Sebastian

-- 
Underestimating the novelty of the future is a time-honored tradition.
(D.G.)