Permalink
Browse files

0.1 release

  • Loading branch information...
1 parent 41b747e commit 829f1d80e598e21be5cdb809d8f741c525b5332e @frenchy64 committed Oct 26, 2012
Showing with 13 additions and 4 deletions.
  1. +12 −3 README.md
  2. +1 −1 project.clj
View
@@ -14,7 +14,17 @@ See `LICENSE`.
Leiningen:
-`[typed "0.1]`
+`[typed "0.1"]`
+
+# Quickstart
+
+`(typed.core/ann v t)` gives var `v` the static type `t`.
+
+`(typed.core/ann-form f t)` ensures form `f` is of the static type `t`.
+
+`(typed.core/check-ns)` type checks the current namespace.
+
+`(typed.core/cf t)` type checks the form `t`.
# Immediate Roadmap
@@ -38,8 +48,7 @@ Leiningen:
## Clojure version
-Currently TC (really 'analyze') is running a custom version of the Clojure Compiler to avoid unnecessary reflection.
-I'm not entirely sure what this implies.
+Only Clojure 1.5.0-beta1 is supported.
## Namespace management
View
@@ -1,5 +1,5 @@
(defproject typed "0.1"
- :description "Optional static type system"
+ :description "Gradual typing for Clojure"
:dependencies [[analyze "0.2"]
[net.intensivesystems/arrows "1.3.0"] ;for testing conduit, lein test wants it here?
[trammel "0.7.0"]

0 comments on commit 829f1d8

Please sign in to comment.