update README to actually explain the current status of this

README.md

@@ -1,6 +1,13 @@
-This is the beginnings of a little language based on a typed LC with let
+JLambda is a functional language in the spirit of languages such as Scheme,
-and mainly inspired by these: 
+SML, or Clean. It aims to have a very flexible syntax and a clean and easy to
-  * http://cs.brown.edu/~sk/Publications/Books/ProgLangs/
+understand type system. Another goal is to generate very efficient JavaScript
-  * http://www.cs.indiana.edu/hyplan/dfried/ts.ps (I plan on generating code in
+code and possibly native code as well. Currently the type system is still being
-    trampolined style)
+conceived, and the various parts that conspire to generate actual code are
-  * http://lucacardelli.name/papers/basictypechecking.a4.pdf
+being written and will likely change quite a bit. It is possible to parse code
+and generate a pretty printed version of it (see example.jl for what the syntax
+looks like at the moment).
+
+JLambda also aims to support concurrency which will be built on a
+continuation-passing style intermediate language. I have not figured out how
+scheduling threads will work, or whether I will provide any programmer directed
+way of scheduling (i.e. yield).

tokenize.js

@@ -255,21 +255,6 @@ function tokenize(tokstream, matchop) {
         tokstream = tokstream.substr(i);
         break;
 
-      /* falls through */
-      /*case 45: // '-'
-        lambda = peek(tokstream, "arrow", "->");
-        if (false) {
-          tokens.push($.extend(lambda, [charnum, linenum]));
-          tokstream = tokstream.substr(2);
-          break;
-        }
-        else {
-          tokens.push(["identifier", "-", charnum, linenum]);
-          charnum++;
-          tokstream = tokstream.substr(1);
-          break;
-        }
-
       /* falls through */
       case 46: // '.'
         if (isDigit(tokstream[1])) {