Skip to content

marklemay/thesis

Repository files navigation

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

About

the source files for my thesis

Resources

Stars

Watchers

Forks

Packages

No packages published