where are erlang type definitions defined?

Joe Armstrong erlang@REDACTED
Wed Dec 2 12:57:00 CET 2009

Is there a definitive document describing what Erlang types are supposed to be?

I'd like a reference to one document (not the grammar) that defines what types
are *supposed* to be.

The best In could find is


Is this the definitive document?


More information about the erlang-questions mailing list