wasp-lang/wasp
1
1
Fork 0
mirror of https://github.com/wasp-lang/wasp.git synced 2024-12-27 19:14:52 +03:00
Code Issues Projects Releases Wiki Activity
c0257a06fa
wasp/waspc/docs/wasplang
History
Parikshit Adhikari 15d7a0cae1
fixed typos in waspc/docs/wasplang/src/index.tex (#1497)
2023-10-17 17:35:33 +02:00
..
src fixed typos in waspc/docs/wasplang/src/index.tex (#1497) 2023-10-17 17:35:33 +02: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.