Permalink
Browse files

roadmap

  • Loading branch information...
1 parent db97328 commit d8a597849a1840656254c0072d6ccc760c4c0209 @frenchy64 committed Apr 24, 2012
Showing with 13 additions and 6 deletions.
  1. +13 −6 README.md
View
19 README.md
@@ -19,12 +19,19 @@ See `LICENSE`.
Leiningen:
-[typed "0.1-alpha2]
-
-# Immediate Future work
-
-- Complete type checking algorithm
-- Type variables
+`[typed "0.1-alpha2]`
+
+# Roadmap
+
+* Bounded polymorphism
+** (with future F-bounded extension)
+* Occurrence typing
+* Recursive types
+* Type check multimethods
+* Design polymorphic class hierarchy
+** clojure.lang.*
+** Variance annotations
+* Typed Protocol, Type and Record definitions
# Usage

0 comments on commit d8a5978

Please sign in to comment.