4 points | by satvikpendem 2 hours ago
1 comments
Lean is such a wonderful language. So hyped by these releases.
Lean is such a wonderful language. So hyped by these releases.