ztatlock / ztatlock.github.io

Zachary Tatlock's Website

ztatlock.net

This is the repo for Zachary Tatlock's website mostly built with djot and make.

• All pages are at the top level.
• Each .dj file is compiled to an .html page.
• REFS provides global reference links included for each page.
• Each page includes a common header and footer (HEAD, FOOT).
• Each page's title is taken from the first line of its source .dj.
• All pages use the same, very simple style.css.

Issues and/or PRs to fix typos or missing content are welcome!