Typed Racket
Go to file
Sam Tobin-Hochstadt cbca0b172f Simplify fast path for typechecking simple function applications.
Also, minorly revise subtyping code.

original commit: b3c640870e43ead323d1ef213e39e22a515a3a6b
2012-10-05 12:12:39 -04:00
collects Simplify fast path for typechecking simple function applications. 2012-10-05 12:12:39 -04:00
doc/release-notes/typed-racket Update TR history. 2012-07-24 13:48:05 -04:00