typed-racket/collects/typed-scheme
Sam Tobin-Hochstadt 9e1c812b06 Improve the type of andmap.
Steps toward reducing the number of initializations.

svn: r9612

original commit: fd44d9b01ff4d50042e757d9e2f76dae046237bd
2008-05-02 23:35:37 +00:00
..
lang Fix typed scheme reader for new reader API. 2008-04-07 21:03:27 +00:00
private Improve the type of andmap. 2008-05-02 23:35:37 +00:00
info.ss docs go in the main tree 2008-04-25 19:55:23 +00:00
main.ss Move typed-scheme/lang/main.ss to typed-scheme/main.ss. 2008-03-04 23:18:16 +00:00
minimal.ss Move typed-scheme/lang/main.ss to typed-scheme/main.ss. 2008-03-04 23:18:16 +00:00
typed-reader.ss Switch to #lang everywhere. 2008-03-20 13:31:18 +00:00
typed-scheme.scrbl Fix formatting for -> doc. 2008-04-15 22:37:20 +00:00
typed-scheme.ss Improve the type of andmap. 2008-05-02 23:35:37 +00:00