Zulip Chat Archive
Stream: general
Topic: Recommend TypeScript editor
Daniel Donnelly (Aug 28 2019 at 06:17):
Can anyone who did lean-prover recommend a VSCode extension or show me how to use npm from vscode to install TypeScript for it? EDIT: nvm found how.
Last updated: May 02 2025 at 03:31 UTC