Top
New
Best
Ask
Show
Jobs

Comment

Comment by heliumtera

>The recommended way to install Lean is through VS Code

Is that enough reason?

parent heliumtera 6 months ago

Discussion

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton