[erlang-questions] Erlang Language Specification

[Steve Vinoski]

On Thu, Nov 30, 2017 at 6:51 AM, Rickard Green <rickard@REDACTED> wrote:

> Hi,
>
> In the late 90ies work were being done on an Erlang language
> specification. A draft which was produced can be found at <
> http://www.erlang.org/download/erl_spec47.ps.gz>. Unfortunately the work
> on this document stopped after this.
>
> This document is of course quite outdated, but it contains lots of
> valuable information. I think it is about time to continue this work. It
> will however require lots of work to finish. We publish the source for the
> draft in the hope that we in collaboration with the Erlang community
> eventually will be able to produce an official Erlang Language
> Specification.
>
> I've created a new repository <https://github.com/erlang/spec> which
> contains the source of the document.
>

I see the makefiles produce postscript by default, which was useful in the
90s but IMO isn't anymore. Wouldn't it be better to make pdf the default?

--steve
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20171130/4626be4b/attachment.htm>