A template repository to write docs with SATySFi.
SATySFi (pronounced in the same way as the verb “satisfy” in English) is a new typesetting system equipped with a statically-typed, functional programming language.
Before you start writing, PLEASE REMOVE OR CHANGE LICENSE
FILE.
- Create a new repository from this template by clicking this link (or click Use this template > Create a new repository)
- Open GitHub Codespaces by clicking Code > Create codespace on master
- (optional) Add dependencies to your
.devcontainer/on-create.sh
- Rebuild Container from Codespaces menu or use
Codespaces: Rebuild Container
from command palette - Place your files to the repository
- Run SATySFi from terminal or VSCode extension
If you want to speed up container startup time, you can configure prebuild for the repository.
This option is suitable for users of different Git providers, or no-VCS project.
- Open this repository in Codespaces by clicking Use this template > Open in a codespace
- (optional) Generate a new SSH key and configure your Git provider
- (optional) Add dependencies to your
.devcontainer/on-create.sh
- Rebuild Container from Codespaces menu or use
Codespaces: Rebuild Container
from command palette - Place your files to the repository
- Run SATySFi from terminal or VSCode extension
Please write new discussion!