On Nov 25, 2013, at 12:54 PM, John Clements <cleme...@brinckerhoff.org> wrote:
> they're not binding any new identifiers; they're just declaring that this > type implements this trait. Thanks for the clarification. I still think this category and binding should be merged into 'says something about an identifier' -- Matthias ____________________ Racket Users list: http://lists.racket-lang.org/users
