strongly-typed 20 hours ago

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