On 25/12/2012, at 7:10 PM, Raoul Duke wrote:
> 2nd'd (although i'm just a language "groupie", not a 'trusted
> authority' on such things :-)
There are no authorities (though Oleg comes dang close :)
>
> note that iirc from the ats list, one wants to be looking at / using
> ats2, since ats is d
2nd'd (although i'm just a language "groupie", not a 'trusted
authority' on such things :-)
note that iirc from the ats list, one wants to be looking at / using
ats2, since ats is deprecated pretty much. please also note the part
of the ddc dissertation that says the dependent etc. typing notation
