| From: Matthias Felleisen (matthias at ccs.neu.edu) Date: Mon Nov 25 16:35:02 EST 2013 |
|
On Nov 25, 2013, at 12:54 PM, John Clements <clements at 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
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}