Merge branch 'master' into gabor/deadline

README.md

@@ -1,39 +1,36 @@
 # [Motoko](https://internetcomputer.org/docs/current/motoko/main/about-this-guide) · [![GitHub license](https://img.shields.io/badge/license-Apache%202.0-blue.svg)](https://opensource.org/licenses/Apache-2.0) [![Tests](https://img.shields.io/github/actions/workflow/status/dfinity/motoko/release.yml?branch=master&logo=github)](https://github.com/dfinity/motoko/actions?query=workflow:"release") [![PRs Welcome](https://img.shields.io/badge/PRs-welcome-brightgreen.svg)](https://github.com/dfinity/motoko/blob/master/Building.md)
 
 
-A safe, simple, actor-based programming language for authoring [Internet Computer](https://internetcomputer.org/) (IC) canister smart contracts.
+A safe, simple, actor-based programming language for building [Internet Computer](https://internetcomputer.org/) (ICP) canister smart contracts.
 
 ![Motoko Logo](https://github.com/user-attachments/assets/844ca364-4d71-42b3-aaec-4a6c3509ee2e)
 
 ## User Documentation & Samples
 
-* [Building, installing, and developing on Motoko](Building.md).
-* [Overview](doc/md/getting-started/motoko-introduction.md).
-* [Small samples](samples).
-* [Language manual](doc/md/reference/language-manual.md).
-* [Concrete syntax](doc/md/examples/grammar.txt).
-* [Documentation sources](doc/md/).
-* [Base library documentation](doc/md/base/index.md).
-* [_Motoko-san_: a prototypical deductive verifier](src/viper/README.md).
+* [Introduction](https://internetcomputer.org/docs/current/motoko/main/getting-started/motoko-introduction)
+* [Basic concepts and terms](https://internetcomputer.org/docs/current/motoko/main/getting-started/basic-concepts)
+* [Sample code](samples)
+* [Language manual](doc/md/reference/language-manual.md)
+* [Concrete syntax](doc/md/examples/grammar.txt)
+* [Documentation sources](doc/md/)
+* [Base library documentation](doc/md/base/index.md)
+* [_Motoko-san_: a prototypical deductive verifier](src/viper/README.md)
 
 ## Introduction
 
 ### Motivation and Goals
 
-* High-level language for programming IC applications
+* High-level programming language for ICP smart contracts
 
-* Simple ("K.I.S.S.") design and familiar syntax for average programmers
+* Simple design and familiar syntax
 
-* Good and convenient support for actor model
-
-* Good fit for underlying Wasm and IC execution model
-
-* Anticipate future extensions to Wasm where possible
+* Convenient support for the [actor model](https://en.wikipedia.org/wiki/Actor_model)
 
+* Good fit for underlying Wasm and ICP execution model
 
 ### Key Design Points
 
-* Simple class-based OO language, objects as closures
+* Object-based language with actors, classes, modules, etc. as closures
 
 * Classes can be actors
 
@@ -47,7 +44,7 @@ A safe, simple, actor-based programming language for authoring [Internet Compute
 
 * Inspirations from Java, C#, JavaScript, Swift, Pony, ML, Haskell
 
-## Related repositories
+## Related Repositories
 
 * [Base library](https://github.com/dfinity/motoko-base)
 * [Vessel package manager](https://github.com/dfinity/vessel)
@@ -57,14 +54,14 @@ A safe, simple, actor-based programming language for authoring [Internet Compute
 * [VS Code extension](https://github.com/dfinity/vscode-motoko) · ([install](https://marketplace.visualstudio.com/items?itemName=dfinity-foundation.vscode-motoko))
 * [Browser and Node.js bindings](https://github.com/dfinity/node-motoko) · ([npm package](https://www.npmjs.com/package/motoko))
 
-## Community resources
+## Community Resources
 
 * [Awesome Motoko](https://github.com/motoko-unofficial/awesome-motoko#readme)
 * [Blocks - an online low-code editor for Motoko](https://github.com/Blocks-Editor/blocks)
 * [MOPS - a Motoko package manager hosted on the IC](https://j4mwm-bqaaa-aaaam-qajbq-cai.ic0.app/)
 * [Motoko Bootcamp](https://github.com/motoko-bootcamp/bootcamp#readme) · ([YouTube channel](https://www.youtube.com/channel/UCa7_xHjvOESf9v281VU4qVw))
 * [Motoko library starter template](https://github.com/ByronBecker/motoko-library-template)
 
-## Contribution
+## Contributing
 
-See our [CONTRIBUTING](.github/CONTRIBUTING.md) and [CODE OF CONDUCT](.github/CODE_OF_CONDUCT.md) to get started.
+See our [contribution guidelines](.github/CONTRIBUTING.md) and [code of conduct](.github/CODE_OF_CONDUCT.md) to get started.