[erlang-questions] Erlang Language Specification

[Rickard Green]

On 11/30/2017 04:08 PM, Anthony Ramine wrote:
> Would be nice to rewrite that in HTML, we are in 2017 after all.
> 

No I don't think it would be a good ide to rewrite this in HTML. There 
might be other options than latex, but I don't see that HTML would be an 
option. This due to the mathematical formulas in the document.

There are tools available to produce html from latex which can be 
integrated in the makefiles which of course would be nice.

Regards,
Rickard

>> Le 30 nov. 2017 à 12:51, Rickard Green <rickard@REDACTED> a écrit :
>>
>> 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.
>>
>> Regards,
>> Rickard Green, Erlang/OTP, Ericsson AB
>> _______________________________________________
>> erlang-questions mailing list
>> erlang-questions@REDACTED
>> http://erlang.org/mailman/listinfo/erlang-questions
>