strongly-typed 1 day ago

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