typed-racket/collects
2010-02-25 11:48:33 +00:00
..
tests fix comment, add test 2010-02-23 21:36:53 +00:00
typed Improve some framework contracts, and provide scheme/base at phase 1 from typed/scheme. 2010-02-17 00:02:44 +00:00
typed-scheme Add types for unsafe fixnum operations. This allows support for some sequences; in particular in-range now works in some cases (though still requires type annotations). 2010-02-25 11:48:33 +00:00
unstable unstable/contract: added if/c combinator 2009-12-03 00:54:02 +00:00