Vincent St-Amour c30fb69cdd Fix fixnum comparisons to prove more bounds. ... original commit: 81cccb4c8f9ca6a22cb908d2bbf445ab45cc0708		2013-01-02 16:55:28 -05:00
..
tests/typed-racket	rename test file	2013-01-02 06:33:10 -07:00
typed	Revert "Ignore contracted proxies from racket"	2012-12-03 14:37:17 -05:00
typed-racket	Fix fixnum comparisons to prove more bounds.	2013-01-02 16:55:28 -05:00
typed-scheme	Only enable Optimization Coach button in Typed Racket.	2012-07-20 18:05:32 -04:00
unstable	logging: allow name in `log-message', report it in a log-receiver evt	2012-12-27 14:12:40 -06:00