3 ms·
I wish DX was better for people not using VS. I have my opinions about tools and when trying lean out I got the impression that you basically have to use it. Th
by IsTom 2mo ago
I wish DX was better for people not using VS. I have my opinions about tools and when trying lean out I got the impression that you basically have to use it. They also seemingly lack a REPL.
I also got the impression that they like sticking everything into Mathlib and not splitting off smaller packages that you could use as dependencies (besides Batteries).
- nylonstrung 2mo agoYeah I really dislike that you need neovim or VS to benefit from Infoview Haven't tried it but there's this community-made REPL https://github.com/leanprover-community/repl https://github.com/leanprover-community/repl
- IsTom 2mo agoUsing JSON as input and output of a REPL is certainly a choice.