27 Nov
2013
27 Nov
'13
1:18 p.m.
On Wed, 27 Nov 2013, Richard Eisenberg wrote:
It seems that the syntax and semantics of role annotations has settled, and so it's time to add role annotations to various libraries.
This topic is completely new to me. Where can I read what it is about, what is its motivation?