pretext-cli
pretext-cli copied to clipboard
Improve codespaces setup for developers
This involves:
- ~~Configure and install the VSCode mypy plugin.~~
- Configure and install the CodeChat Editor in its current form.
- Create a VSCode plugin for the CodeChat Editor.