Hi Christos, We and a colleague from Japan use Haskell for Inductive Functional Programming, i.e. learn programs from examples.
However, we just have started to port our program to Haskell: http://www.cogsys.wiai.uni-bamberg.de/effalip/ Susumu Katayama has already a Haskell library: http://nautilus.cs.miyazaki-u.ac.jp/~skata/MagicHaskeller.html More information about IP can be found here: http://www.inductive-programming.org/ What kind of survey are you doing? Do you have a pointer, too? Greetings, Martin _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe