Inicio Explorar Axuda
Iniciar sesión
tomteb
/
carbon-lang
1
0
Fork 0
Ficheiros Incidencias 0 Pull Requests 0 Wiki
Árbore: 81dfb2b29b
Ramas Etiquetas
carbon-lang
/
docs
/
spec
Richard Smith 48d5b18026 Initial rough framework for specification. (#140) %!s(int64=4) %!d(string=hai) anos
..
lang 48d5b18026 Initial rough framework for specification. (#140) %!s(int64=4) %!d(string=hai) anos
lib 48d5b18026 Initial rough framework for specification. (#140) %!s(int64=4) %!d(string=hai) anos
README.md 48d5b18026 Initial rough framework for specification. (#140) %!s(int64=4) %!d(string=hai) anos

README.md

Spec

Eventually, this will be the home of a formal specification for the Carbon Language. We are committed to having a specification that is sufficiently detailed to allow independent implementations of the language. While we plan to have a reference implementation, we think having a specification as well is an important tool to ensure that the behavior of the language is well understood and holds together.

The work-in-progress specification is available here: