Skip to content
This repository has been archived by the owner on Jan 2, 2018. It is now read-only.

Commit

Permalink
readme
Browse files Browse the repository at this point in the history
  • Loading branch information
frenchy64 committed Oct 6, 2012
1 parent 96b9560 commit caa693f
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions README.md
Expand Up @@ -94,8 +94,8 @@ positive propositions.
```

Positive information infers just fine, like `(filter number? coll)`.
The above idiom is useful when you have a type like `(U nil x)` and there is no
predicate to test for `x`.
The above idiom is useful when you are filtering something like a `(Seqable (U nil x))` and there is no
predicate to test for `x`, so you can only test if something isn't `nil`.

# Usage

Expand Down

0 comments on commit caa693f

Please sign in to comment.