News for hackers. Stuff that matters.

A comment on A Perfectable Programming Language.

Re:A Perfectable Programming Language by heliumtera on Sunday April 12, 2026 @10:12PM (#47746757)
>The recommended way to install Lean is through VS Code and the Lean 4 VS Code extension,

Lol

[ Parent | on HN ]
Re:A Perfectable Programming Language by jinwoo68 on Sunday April 12, 2026 @11:27PM (#47747222)
There are community-built editor supports. For example,

- Emacs: https://github.com/leanprover-community/lean4-mode

- Neovim: https://github.com/Julian/lean.nvim

I'm using the Emacs lean4-mode and it's pretty good.

[ Parent | on HN ]
Re:A Perfectable Programming Language by adamnemecek on Sunday April 12, 2026 @11:16PM (#47747152)
It makes complete sense to polish that usecase.
[ Parent | on HN ]