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