Comment by heliumtera | Hacker News Reader

Top New Best Ask Show Jobs

Comment by heliumtera | Hacker News Reader

>The recommended way to install Lean is through VS Code

Is that enough reason?

Yes.

I am tired of my time in tech being just using MS products that all depend on each other.

Reply on news.ycombinator.com