[racket-dev] Release Announcement for v5.0.1

On Jul 27, 2010, at 11:26 PM, David Van Horn wrote:

>> 
>> * The core type system of Typed Racket has been substantially
>>   revised.  In particular, Typed Racket can now follow significantly
>>   more sophisticated reasoning about the relationships between
>>   predicates.  Additionally, Typed Racket now allows variable arity
>>   types in more places, allowing programmers to specify
>>   variable-arity lists.
> 
> substantially, significantly, sophisticated
> 
> Weasel words.
> http://matt.might.net/articles/shell-scripts-for-passive-voice-weasel-words-duplicates/

This is advertising prose not a summary of scientific work.