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