Update README

1 files changed, 13 insertions, 81 deletions

diff --git a/README.md b/README.md
index 6d7f97c52..39ec2834e 100644
--- a/README.md
+++ b/README.md
@@ -1,86 +1,18 @@
-dotty
+Dotty
 =====
-
 [![Join the chat at https://gitter.im/lampepfl/dotty](https://badges.gitter.im/Join%20Chat.svg)](https://gitter.im/lampepfl/dotty?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge)
 
-Dotty is a platform to try out new language concepts and compiler
-technologies for Scala. The focus is mainly on simplification. We
-remove extraneous syntax (e.g. no XML literals), and try to boil down
-Scala's types into a smaller set of more fundamental constructors. The
-theory behind these constructors is researched in
-[DOT](http://www.cs.uwm.edu/~boyland/fool2012/papers/fool2012_submission_3.pdf),
-a calculus for dependent object types.
-
-####Current status:
- _Technology preview_: currently unsupported, may be functionally incomplete or unsuitable for production use.
-
-####Is it going to be the future Scala?
-Yes, eventually.
-
-####Who's working on it?
-See [github contributors page](https://github.com/lampepfl/dotty/graphs/contributors).
- 
-####What are the features that could make me consider trying it?  
-| Feature                                                                                                 | Status              |
-|---------------------------------------------------------------------------------------------------------|---------------------|
-| Union, Intersection and [Literal singleton types](http://docs.scala-lang.org/sips/pending/42.type.html) | Implemented         |
-| Fast compilation(phase fusion)                                                                         | Implemented         |
-| [Trait parameters](http://docs.scala-lang.org/sips/pending/trait-parameters.html)                       | Implemented         |
-| [@Static methods and fields](https://github.com/scala/scala.github.com/pull/491)                        | Implemented         |
-| Colored Repl                                                                                            | Implemented         |
-| Sbt incremental build                                                                                   | Implemented         |
-| Non-blocking lazy vals                                                                                  | Implemented         |
-| Multiverse equality                                                                                     | Implemented |
-| Option-less pattern matching(based on [name-based patmat](https://github.com/scala/scala/pull/2848))    | Implemented |
-| Function arity adaptation                                                                               | Implemented |
-| Exhaustivity checks in pattern matching                                                                 | Implemented |
-|                                                                                                         |                     |
-| Non-boxed arrays of value classes                                                                       | In progress         |
-| Working contravariant implicits                                                                         | In progress         |
-| [Auto-Specialization](https://github.com/dotty-linker/dotty)                                            | In progress         |
-| [Whole program optimizer](https://github.com/dotty-linker/dotty)                                        | In progress         |
-| [Library defined optimizations](https://github.com/dotty-linker/dotty)                                  | In progress         |
-|                                                                                                         |                     |
-| HList & HMaps\Record types                                                                              | Under consideration |
-| Implicit functions                                                                                      | Under consideration |
-| Effects                                                                                                 | Under consideration |
-| Auto-completion in repl                                                                                 | Under consideration |
-| Spec Option-less pattern matching                                                                       | Under consideration |
-
-There are also plethora of small details such as [per-callsite @tailrec annotations](https://github.com/lampepfl/dotty/issues/1221)
-
-####What are the complications that I can have If I start using Dotty?
-Dotty can use libraries compiled by scalac 2.11, but Scala scalac can't use libraries compiled by Dotty.<br>
-No existential types.<br>
-No macro support yet. We have big plans here.<br>
-No early initializers. No scala.DelayedInit. Use trait parameters instead.<br>
-Whole program optimizer will only work if all dependencies are compiled by Dotty.<br>
-
-
-####Can I write my code in a way that is going to be compatible with Scalac & Dotty?
-Yes, Dotty itself is a project that can be compiled by both Dotty and Scalac.<br>
-It's not very hard, and the biggest thing that you will likely miss is using macros.
-
-####How can I try it out?
-http://lampepfl.github.io/dotty/docs/contributing/getting-started.html.
-Here’s an example sbt project and instructions on how to set it up: https://github.com/smarter/dotty-example-project/ <br>
-We have colored REPL :-). You can invoke it by running `dotc -repl`.
-
-####We also have:
-Basic support for Scala.js,<br>
-[Prototype](https://github.com/scala-native/scala-native/tree/topic/dotty-support) of compilation to x86 native code(Shabalin)<br>
-
-####What about scalac:
-Scalac is the basis for stability in scala. We expect scalac & dotty to coexist for long time.
-        
-####Contributions are welcome!
-We invite you to help us build the future of Scala.<br>
-This is the best moment to participate, as everyone can make an impact.<br>
-
-####SI-2712?
-Since scalac merged a fix into 2.12, we’ll mimic their behaviour. But we have bigger plans for
-HK-types.
-
+* [Homepage](http://dotty.epfl.ch)
+* [Documentation](http://dotty.epfl.ch/docs)
+* [FAQ](http://dotty.epfl.ch/#why-dotty)
+* [Mailing list](https://groups.google.com/forum/#!forum/dotty-internals)
 
+How to Contribute
+=================
+* [Getting Started](http://dotty.epfl.ch/docs/contributing/getting-started.html)
+* [Awesome Error Messages](http://scala-lang.org/blog/2016/10/14/dotty-errors.html)
+* [Issues](https://github.com/lampepfl/dotty/issues?q=is%3Aissue+is%3Aopen+label%3A%22help+wanted%22)
 
-Developers mailing list is https://groups.google.com/forum/#!forum/dotty-internals.
+License
+=======
+Dotty is licensed under the [3-Clause BSD License](https://github.com/lampepfl/dotty/blob/master/LICENSE.md)