shiroa playground

develop

Install shiroa somehow.

Compile full documents.

shiroa build

Preview.

shiroa serve

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
.github/workflows		.github/workflows
.vscode		.vscode
ModalLogic		ModalLogic
ProvabilityLogic		ProvabilityLogic
templates		templates
.editorconfig		.editorconfig
.gitattributes		.gitattributes
.gitignore		.gitignore
README.md		README.md
book.typ		book.typ
ebook.typ		ebook.typ
index.typ		index.typ
macros.typ		macros.typ
references.bib		references.bib
sample-page.typ		sample-page.typ