Sam Tobin-Hochstadt 84d26b91ca Avoid generating definitions for contracts that are identifiers. ... This reduces the number of pointless definitions, and re-enables some contract system optimizations.		2016-01-02 11:46:51 -05:00
..
typed	Only show OC button in DrR when the tool is actually loaded.	2015-12-18 15:58:40 -06:00
typed-racket	Avoid generating definitions for contracts that are identifiers.	2016-01-02 11:46:51 -05:00
info.rkt	Allow the types created for structs to be specified manually	2015-12-30 13:12:05 -08:00
LICENSE.txt	Remove extra directories.	2014-12-02 00:53:36 -05:00