commit | 2aef206f3f754c2c396a7c81144d5902b15506e4 | [log] [tgz] |
---|---|---|
author | Dmitry Stefantsov <dmitryas@google.com> | Mon Sep 18 15:16:23 2017 +0000 |
committer | Dmitry Stefantsov <dmitryas@google.com> | Mon Sep 18 15:16:23 2017 +0000 |
tree | 36f1ea7bd58f03d2541e9684530e55db0b5166bd | |
parent | 47d60740b2e88013ec9097010a89231b7e9fa533 [diff] |
[kernel] Add the first draft of Kernel operational semantics in Coq The semantics is defined for a small subset of Kernel. Change-Id: I39b72c5671e9ca0dee86a5a6068fe745ad1728f1 Reviewed-on: https://dart-review.googlesource.com/5860 Reviewed-by: Samir Jindel <sjindel@google.com>
Dart is an open-source, scalable programming language, with robust libraries and runtimes, for building web, server, and mobile apps.
Visit the dartlang.org to learn more about the language, tools, getting started, and more.
Browse pub.dartlang.org for more packages and libraries contributed by the community and the Dart team.
If you want to build Dart yourself, here is a guide to getting the source, preparing your machine to build the SDK, and building.
There are more documents on our wiki.
The easiest way to contribute to Dart is to file issues.
You can also contribute patches, as described in Contributing.