Binary package “erlang-typer” in ubuntu precise
Erlang/OTP code type annotator
TypEr is a tool that displays and automatically inserts type annotations
in Erlang code. It uses Dialyzer to infer variable types.
TypEr is a tool that displays and automatically inserts type annotations
in Erlang code. It uses Dialyzer to infer variable types.