2 ms·This was video with Martin Odersky. Not sure whereby jkot 10y agoThis was video with Martin Odersky. Not sure where