wasp-lang/wasp
1
1
Fork 0
mirror of https://github.com/wasp-lang/wasp.git synced 2024-12-25 18:13:52 +03:00
Code Issues Projects Releases Wiki Activity
0a33598b7f
wasp/waspc/docs/wasplang
History
craigmc08 6f178115dc Suggestions from code review
2021-08-05 13:17:49 -04:00
..
src Suggestions from code review 2021-08-05 13:17:49 -04:00
.gitignore docs: Added documentation formally describing wasp lang 2021-06-17 14:58:46 -04:00
README.md docs: Added documentation formally describing wasp lang 2021-06-17 14:58:46 -04:00
Tectonic.toml docs: Added documentation formally describing wasp lang 2021-06-17 14:58:46 -04:00

README.md

Here is the formal description of the Wasp language with a LaTeX document containing the grammar, type system, and evaluation rules.

To view the PDF, you will need to generate it yourself (see below instructions).

Which files to edit

Edit the document in src/index.tex. Add more packages (if needed) and set up macros/commands in src/_preamble.tex. All document text should be in only index.text.

How to build

First, install tectonic: https://tectonic-typesetting.github.io/en-US/. You do not need to install LaTeX.

To build the PDF, run tectonic -X build in this directory. The PDF will be saved to build/wasplang/wasplang.pdf.