typed-racket/collects
Sam Tobin-Hochstadt c6c381a207 use syntax-parse
support #:predicate option to `define-typed-struct-internal'

svn: r17822

original commit: c9b246a8d2f15a27cc438b8827ec6eef0232b16e
2010-01-25 19:35:56 +00:00
..
tests Correct typing for `or'. 2010-01-15 19:39:46 +00:00
typed Fix abstraction of implications. 2009-12-11 23:00:37 +00:00
typed-scheme use syntax-parse 2010-01-25 19:35:56 +00:00
unstable unstable/contract: added if/c combinator 2009-12-03 00:54:02 +00:00