A template set for writing semantics in LaTeX
This repository is meant to accompany my guide for Using LaTeX for Programming Language Semantics.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
A template set for writing semantics in LaTeX
This repository is meant to accompany my guide for Using LaTeX for Programming Language Semantics.