Tony Finch's link log
2007-06-14: TypEr: A type annotator for Erlang code.
(long)
(short)
(atom)
(wayback machine)