Update README.md

fthomas · May 14, 2015 · f4add39 · f4add39
1 parent 1205f5f
commit f4add39
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -16,7 +16,7 @@ This library consists of:
  * Type-level predicates for refining other types, like `UpperCase`, `Positive`,
    `Greater[_0] And LessEqual[_2]`, or `Length[Greater[_5]]`. There are also higher
    order predicates for combining proper predicates like `And[_, _]`, `Or[_, _]`,
-   `Not[_]`, or `Length[_]`.
+   `Not[_]`, `Forall[_]`, or `Size[_]`.
 
  * A `Predicate` type class that is able to validate a concrete data type (like `Double`)
    against a type-level predicate (like `Positive`).