[erlang-questions] Type Server
Thu Mar 1 16:43:33 CET 2012
Both PropEr and Dialyzer appear to have a 'type server' that provides functions for working with type specs. What are the chances of this being available as a separate unit? There is currently very little support for working with types, as the previous post about lack of support in erl_syntax pointed out. It would be nice to see type specs being better supported.
More information about the erlang-questions