[PartiallyTyped]

> But we should be really happy about the fact that we did not end up in the same place with ML.

Why so?

[petters]

I believe having our tools available as open source is good for the society as a whole.