4 ms·Lean is such a wonderful language. So hyped by these releases.by strongly-typed 3mo agoLean is such a wonderful language. So hyped by these releases.