pl-syntax

PL syntax macros.

See the pl-syntax guide for summary and usage.

pl-judgments

PL judgment macros.

See the pl-judgments guide for summary and usage.

Name		Name	Last commit message	Last commit date
Latest commit History 352 Commits
.gitignore		.gitignore
.latexmkrc		.latexmkrc
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
bigplustimes.sty		bigplustimes.sty
pl-judgments.sty		pl-judgments.sty
pl-judgments.tex		pl-judgments.tex
pl-syntax.sty		pl-syntax.sty
pl-syntax.tex		pl-syntax.tex