Create README.md

shiyqw · Sep 1, 2015 · e8abe8f · e8abe8f
1 parent 7b3b202
commit e8abe8f
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -0,0 +1,8 @@
+DPPL project
+
+A imperative programming language constraining computational complexity.
+
+Support loops and branches, do not support recursive functional calls.
+
+A well-typed program of this language can always be computed in polynomial time.
+