8 points | by satvikpendem 11 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.