Add partial README
Several URLs are still missing.
diff --git a/README b/README
new file mode 100644
index 0000000..4ba31a6
--- /dev/null
+++ b/README
@@ -0,0 +1,110 @@
+Mypy Readme
+===========
+
+
+What is mypy?
+-------------
+
+Mypy is a Python variant with seamless dynamic and static typing.
+Currently the mypy implementation lets you mix static types and
+dynamic types and translate mypy programs to readable Python. Type
+annotations and casts are treated as comments when translating to
+Python.
+
+The main goal of the project is to develop an optimising compiler that
+can compile mypy programs to efficient native code. The compiler is
+still early in development.
+
+Mypy is work in progress; many features are missing and there are
+still bugs. See 'Development status' below.
+
+
+Quick start
+-----------
+
+You need Python 3.x to run mypy. You can have multiple Python
+versions (2.x and 3.x) installed on the same system without problems.
+
+In Ubuntu, you can install Python 3 like this:
+
+ $ apt-get install python3
+
+In Windows, download an installer from http://www.python.org/.
+
+OS X: TODO
+
+There is a separate repository that contains the mypy implementation
+translated to Python. You need to clone it to actually run mypy:
+
+ $ TODO how to do this
+
+Now you can run a mypy program:
+
+ $ python3 <path-to-repo>/mypy.py PROGRAM
+
+Replace 'python3' with your Python 3 interpreter.
+
+
+Web site and documentation
+--------------------------
+
+Documentation and additional information is available at the web site:
+
+ http://www.mypy-lang.org/
+
+
+Development status
+------------------
+
+Mypy is work in progress and is not yet production quality (though
+mypy development is already done in mypy!).
+
+Here are some of the more significant Python features not supported
+right now (but all of these will improve):
+
+ - only top-level imports are supported
+ - packages (nested modules) are only supported for Python libraries
+ - class attributes are not supported in statically typed code
+ - no decorators (neither properties)
+ - no 'with' statements
+ - no arbitrary statements in class body
+ - no nested functions or classes
+ - no metaclasses
+ - only basic operator overloading
+ - only some Python modules are supported, and some only partially
+
+Some mypy-specific features are also not supported or only partially
+supported, including these:
+
+ - function overloading does not work properly in all cases, including
+ some instances of method overriding
+ - no 'dynamic' classes
+
+The initial development focus is to support a useful subset of Python
+features. The next main task is to implement an efficient native
+compiler for this subset. Other features will be implemented as well,
+prioritized based on user feedback.
+
+
+Issue tracker
+-------------
+
+Please report any bugs and enhancement ideas using the mypy issue
+tracker:
+
+ TODO url
+
+
+Help wanted
+-----------
+
+Any help in testing, development, documentation and other tasks is
+highly appreciated and useful to the project. Contact the developers
+to join the project, or just start coding and send pull requests!
+There are tasks for contributors of all skill levels.
+
+
+License
+-------
+
+Mypy is licensed under the terms of the MIT license (see the file LICENSE).
