where are erlang type definitions defined?

Joe Armstrong <>
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

http://www.erlang.org/eeps/eep-0008.html

Is this the definitive document?

/Joe


More information about the erlang-questions mailing list