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: Dec 20 2023 at 11:08 UTC