Hello everybody, Is there some available tool that provides type analysis for Erlang (approximated, of course, since that it is an untyped language). Alt., is it possible to get some program analysis facts from existing tools, such as dialyzer? Thanks, Guy Wiener