From: David Van Horn (dvanhorn at ccs.neu.edu) Date: Fri Oct 17 11:17:45 EDT 2008 |
|
Matthias Felleisen wrote: > > understand, capture your understanding in unit tests, assign types, run > type checker, inspect surprises. It's unfortunate, at least the last time I checked, check-expect and Typed Scheme don't play together. David
Posted on the users mailing list. |
|