LaTeX for Alonzo

William M. Farmer

2023

Abstract

This document illustrates how to use a set of LaTeX macros and
environments for presenting types, expressions, and modules of Alonzo,
a practice-oriented version of simple type theory.