GitHub - dats-lang/dats-tex: A tex document for the dats language.

dats-lang / dats-tex Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

A tex document for the dats language.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
figs		figs
.gitignore		.gitignore
Makefile		Makefile
README.txt		README.txt
conventions.tex		conventions.tex
dats-2.tex		dats-2.tex
env.tex		env.tex
filters.tex		filters.tex
intro.tex		intro.tex
lang.tex		lang.tex
mainblk.tex		mainblk.tex
parskip.sty		parskip.sty
staffblk.tex		staffblk.tex
synths.tex		synths.tex
tds.tex		tds.tex
thebasics.tex		thebasics.tex

Repository files navigation

Welcome to the Dats doc!

This repo contains the tex sources which are used to generate the Dats
document. It contains the tutorial (see section "The basics"), specifies
the semantics and syntax, and describes the workings of the Dats language.

To obtain a copy of the PDF, go to:
```
https://texlive2020.latexonline.cc/compile?git=https://github.com/dats-lang/dats-tex.git&target=dats-2.tex&command=pdflatex&force=true&download=dats-2.pdf
``