This repository contains the specification of the Base2 IR abstraction.
The base2-spec
project is built using latexmk and lualatex.
The recommended build command line is:
# Build.
latexmk base2-spec.tex \
-lualatex \
-synctex=1 \
-shell-escape \
-interaction=nonstopmode \
-file-line-error \
-pdf
This project is licensed under the ISC license.