Comment by strongly-typed

Lean is such a wonderful language. So hyped by these releases.