Skip to content

Latest commit

 

History

History
42 lines (32 loc) · 1.49 KB

README.md

File metadata and controls

42 lines (32 loc) · 1.49 KB

Mark Lemay's Thesis: A Dependently Typed Programming Language With Dynamic Equality

Build LaTeX document

Latest pdf proquest open.bu

Defense

slides

Successfully defended May 24th.

A pesentation covering similar info was given at TyDe2023.

compile pdf

Get bibliography and fully build BU style pdf with

git submodule foreach git pull origin master
latexmk thesis.tex -pdf

Build thesis with my preferred formating

git submodule foreach git pull origin master
latexmk thesis-preferred-format.tex -pdf

Build draft pdf, with margin notes and single spaced lines

git submodule foreach git pull origin master
latexmk draft.tex -pdf

Related