typed-racket/collects
Sam Tobin-Hochstadt 2f1771b849 Add `define-predicate'
svn: r18497

original commit: c24daa5dbb2e4a503e81385620008b70d044f76c
2010-03-10 00:10:03 +00:00
..
tests Add `define-predicate' 2010-03-10 00:10:03 +00:00
typed Add `define-predicate' 2010-03-10 00:10:03 +00:00
typed-scheme Add `define-predicate' 2010-03-10 00:10:03 +00:00
unstable unstable/contract: added if/c combinator 2009-12-03 00:54:02 +00:00