Am Donnerstag, den 03.12.2009, 18:45 +0000 schrieb Matthias Görgens:
> > This might be what you're looking for:
> > http://docs.camlcity.org/docs/index.html
> 
> Thanks.  I'll try it.  Does it support e.g. searching for "(a->b) ->
> [a] -> [b]" and spitting out List.map?

There is no search for type expressions. 

Here is the query syntax: http://docs.camlcity.org/docs/syntax.html

Gerd
-- 
------------------------------------------------------------
Gerd Stolpmann, Bad Nauheimer Str.3, 64289 Darmstadt,Germany 
gerd@gerd-stolpmann.de          http://www.gerd-stolpmann.de
Phone: +49-6151-153855                  Fax: +49-6151-997714
------------------------------------------------------------