3 ms·
I would have Googled before making the strong claim that someone is making stuff up. "<:" is widely used notation for "is a subtype of". I'm familiar with its u
by Xcelerate 9y ago
I would have Googled before making the strong claim that someone is making stuff up. "<:" is widely used notation for "is a subtype of". I'm familiar with its usage in Julia.
- arcbyte 9y agoI definitely googled it. Bing reported no results. The only relevant google result is something in Scala that doesn't seem to apply.