Git Product home page Git Product logo

spec-7's Introduction

Erlang Language Specification

This repository contains a draft for an Erlang language specification.

Current State

The draft is in its current state quite old and outdated, but it contains lots of valuable information. The initial commit contains its state as of February 1999. 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.

The original draft from 1999 is available in the download area at erlang.org.

Build the Document

The draft is written using LaTeX. In order to build the document you need to have LaTeX tools installed on your system. If you type make in the top level directory, the document will be produced as a Postscript document.

Contributions

Contributions are very welcome, and will be handled more or less the same way as contributions to the Erlang/OTP repository are handled.

License

The Erlang Language Specification is licensed under the Apache License 2.0.

spec-7's People

Contributors

garazdawi avatar rickard-green avatar vinoski avatar

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.