Vincent St-Amour b03abef7ff Added annotated versions of the for macros that generate vectors. ... They are purposedly left out of the documentation since the typchecker can't currently handle their expansion. original commit: a10d145f25dd4257dd216ea0b1e97184a29c7683		2010-09-15 20:21:50 -04:00
..
env	Lots more laziness, and useless require removal.	2010-09-09 16:08:03 -04:00
infer	Lots more laziness, and useless require removal.	2010-09-09 16:08:03 -04:00
lang	rename to rkt	2010-04-30 09:51:32 -04:00
no-check/lang	typed/racket/no-check	2010-06-09 12:51:27 -04:00
optimizer	Extended pair optimization to the rest of the standard derived pair accessors.	2010-09-09 18:54:34 -04:00
private	Added annotated versions of the for macros that generate vectors.	2010-09-15 20:21:50 -04:00
rep	Fix for new ->i syntax.	2010-09-10 18:38:02 -04:00
scribblings	Added annotated versions of the for macros that generate vectors.	2010-09-15 20:21:50 -04:00
typecheck	Fix internal error when single value expected.	2010-09-10 18:29:34 -04:00
types	Add additional require for identifiers in the residual program.	2010-09-09 16:08:04 -04:00
utils	Lots more laziness, and useless require removal.	2010-09-09 16:08:03 -04:00
core.rkt	Load typechecker dynamically to reduce footprint.	2010-09-08 13:20:34 -04:00
info.rkt	rename all files .ss -> .rkt	2010-04-27 16:50:15 -06:00
language-info.rkt	Use current-readtable as the base for the TR readtable.	2010-08-21 14:05:46 -04:00
main.rkt	Progress on delaying some environments.	2010-09-09 16:08:03 -04:00
minimal.rkt	rename all files .ss -> .rkt	2010-04-27 16:50:15 -06:00
no-check.rkt	Provide -> in typed-scheme/no-check.	2010-08-18 16:37:32 -04:00
tc-setup.rkt	Added another tracing option to TR.	2010-08-05 09:04:24 -04:00
typed-reader.rkt	Make syntax of #{} less accepting of errors.	2010-09-08 10:24:58 -04:00
typed-scheme.rkt	Add additional require for identifiers in the residual program.	2010-09-09 16:08:04 -04:00